div.main-math {counter-reset: definition  proposition exercice;
               margin: 40px;
               font-family: "Times New Roman", Georgia, Serif;
               font-size: 110%;}

div.header {height: 40px;
            position: -webkit-sticky;
            position: sticky;
            z-index: 1;
            background-image: url(../bkgd.jpg);
            top: 0;
            padding-left: 20px;
            padding-right: 20px;
            border-bottom: 2px groove #e0e0eb;
            margin: 0;
            font-style: oblique;
            font-size: 80%;
            line-height: 40px;}

div.header table {line-height: normal;
                  border: 0;
                  padding: 0;
                  margin: 5px 0 0 15px;
                  border-collapse: collapse;}

.fleft {float: left;}
.fright {float: right;}

div.anchor {margin-bottom: -50px;}
div.main-math h3 {padding-top: 50px;}

ul.contents {list-style-type:none}
ul.contents ul {list-style-type:none}
ul.contents > li {padding-top: 15px;
                  padding-bottom: 15px;
                  padding-left: 0;
                  padding-right: 0;}
ul.contents > li > ul {padding-top: 10px;
                       padding-bottom: 5px;
                       padding-left: 20px;
                       padding-right: 0;}
ul.contents > li > ul > li {padding-top: 5px;
                            padding-bottom: 5px;
                            padding-left: 0;
                            padding-right: 0;}
ul.contents > li > ul > li > ul {padding-top: 3px;
                                 padding-bottom: 3px;
                                 padding-left: 20px;
                                 padding-right: 0;}
ul.contents > li > ul > li > ul > li {padding-top: 2px;
                                      padding-bottom: 2px;
                                      padding-left: 0;
                                      padding-right: 0;}

div.displaymath {display: table;
                 padding: 1em;
                 margin: auto;}

div.center {display: table;
            padding: 1em;
            margin: auto;}

div.definition {background-image: url(../bkgd-light.jpg);
                padding: 0 20px 20px 30px; 
                margin-top: 40px;
                margin-bottom: 1em;
                border: 2px groove #e0e0eb;
                border-radius: 0 20px 0 0;}

div.definition::before {counter-increment: definition;
                        background-image: url(../bkgd-light.jpg);
                        padding-left: 30px;
                        padding-top: 6px;
                        margin-left: -32px;
                        margin-top: -25px;
                        margin-bottom: 30px;
                        border-left: 2px groove #e0e0eb;
                        border-top: 2px groove #e0e0eb;
                        border-right: 2px groove #e0e0eb;
                        border-radius: 20px 20px 0px 0px;
                        width: 8em;
                        font-style: italic;
                        font-size: 80%;
                        text-decoration: underline;
                        display: block;
                        content: "Definition " counter(definition);}

div.exercice {background-image: url(../bkgd-light.jpg);
              padding: 0 20px 0 30px; 
              margin-top: 40px;
              margin-bottom: 1em;
              border: 2px groove #e0e0eb;
              border-radius: 0 20px 0 0;}

div.exercice::before {counter-increment: exercice;
                      background-image: url(../bkgd-light.jpg);
                      padding-left: 30px;
                      padding-top: 6px;
                      margin-left: -32px;
                      margin-top: -25px;
                      margin-bottom: 30px;
                      border-left: 2px groove #e0e0eb;
                      border-top: 2px groove #e0e0eb;
                      border-right: 2px groove #e0e0eb;
                      border-radius: 20px 20px 0px 0px;
                      width: 8em;
                      font-style: italic;
                      font-size: 80%;
                      text-decoration: underline;
                      display: block;
                      content: "Exercice " counter(exercice);}

button.solution {background-color: #f2f2f2;
                 border: 1px solid #999999;
                 border-radius: 6px;
                 display: block;
                 cursor: pointer;
                 color: #660000;
                 font-family: "Times New Roman", Georgia, Serif;
                 font-style: italic;
                 font-size: 80%;
                 padding: 3px 9px 2px 3px;
                 margin: 15px 0 10px 0;}

button.solution::before {font-style: normal; content: "\25BA\2008";}

button.solution.active::before {font-style: normal; content: "\25BC\2008";}

button.solution.active, 
button.solution:hover {background-color: #cccccc;
                       border: 1px solid #999999;
                       border-radius: 6px;}

div.show-solution {display: none;
                   margin: 25px 0 30px 0;}


div.proposition {background-image: url(../bkgd-light.jpg);
                 padding: 0 20px 20px 30px; 
                 margin-top: 40px;
                 margin-bottom: 1em;
                 border: 2px groove #e0e0eb;
                 border-radius: 0 20px 0 0;}

div.proposition::before {counter-increment: proposition;
                         background-image: url(../bkgd-light.jpg);
                         padding-left: 30px;
                         padding-top: 6px;
                         margin-left: -32px;
                         margin-top: -25px;
                         margin-bottom: 30px;
                         border-left: 2px groove #e0e0eb;
                         border-top: 2px groove #e0e0eb;
                         border-right: 2px groove #e0e0eb;
                         border-radius: 20px 20px 0px 0px;
                         width: 8em;
                         font-style: italic;
                         font-size: 80%;
                         text-decoration: underline;
                         display: block;
                         content: "Proposition " counter(proposition);}


div.lemma {background-image: url(../bkgd-light.jpg);
           padding: 0 20px 20px 30px; 
           margin-top: 40px;
           margin-bottom: 1em;
           border: 2px groove #e0e0eb;
           border-radius: 0 20px 0 0;}

div.lemma::before {counter-increment: proposition;
                   background-image: url(../bkgd-light.jpg);
                   padding-left: 30px;
                   padding-top: 6px;
                   margin-left: -32px;
                   margin-top: -25px;
                   margin-bottom: 30px;
                   border-left: 2px groove #e0e0eb;
                   border-top: 2px groove #e0e0eb;
                   border-right: 2px groove #e0e0eb;
                   border-radius: 20px 20px 0px 0px;
                   width: 8em;
                   font-style: italic;
                   font-size: 80%;
                   text-decoration: underline;
                   display: block;
                   content: "Lemma " counter(proposition);}

div.corollary {background-image: url(../bkgd-light.jpg);
               padding: 0 20px 20px 30px; 
               margin-top: 40px;
               margin-bottom: 1em;
               border: 2px groove #e0e0eb;
               border-radius: 0 20px 0 0;}

div.corollary::before {counter-increment: proposition;
                       background-image: url(../bkgd-light.jpg);
                       padding-left: 30px;
                       padding-top: 6px;
                       margin-left: -32px;
                       margin-top: -25px;
                       margin-bottom: 30px;
                       border-left: 2px groove #e0e0eb;
                       border-top: 2px groove #e0e0eb;
                       border-right: 2px groove #e0e0eb;
                       border-radius: 20px 20px 0px 0px;
                       width: 8em;
                       font-style: italic;
                       font-size: 80%;
                       text-decoration: underline;
                       display: block;
                       content: "Corollary " counter(proposition);}

div.proof::before {font-style: italic;
                  font-size: 80%;
                  text-decoration: underline;
                  display: block;
                  padding-top: 15px;
                  padding-bottom: 10px;
                  content: "Proof:"
                 }
div.proof::after {font-style: italic;
                  font-size: 80%;
                  text-decoration: underline;
                  display: block;
                  padding-top: 10px;
                  content: "Quod erat demonstrandum"
                 }

table.tree  {display:inline-block;
             table-layout: fixed;
             vertical-align: middle;
             padding-left: 1em;
             padding-right: 1em;
             border: 0;
             margin: 0;
             border-collapse: collapse;
             border-spacing: 0;}
table.tree tbody {padding: 0;
                  border: 0;
                  margin: 0;}
table.tree tr {padding: 0;
               border: 0;
               margin: 0;}
table.tree td {padding: 0;
               border: 0;
               margin: 0;}
table.tree td.left {text-align: left;}
table.tree td.right {text-align: right;}
table.tree td.center {text-align: center;}
table.tree td.fixed {width: 2em;
                     max-width: 2em;}
table.tree td.rfixed {height: 2px;
                      width: 2em;
                      max-width: 2em;
                      background-color:red;}
table.tree td.gfixed {height: 2px;
                      width: 2em;
                      max-width: 2em;
                      background-color:green;}
table.tree td.tag {padding-left: .5em;}
table.tree td.tag > div.tag {display:block;margin-bottom: -1.3em;}
table.tree tr.rule {height:1px;} 
tr.rule > td.rule {padding: 0;
                   background-color:#660000;}
tr.rule > td.blank {padding: 0;}

div.overbrace {
  border-top: 2px solid #660000;
  padding-top: 15px;
  margin-bottom: -10px;
  border-radius: 25px;
}

ol.math li {padding-top: .1em;
            padding-bottom: .1em;
            padding-left: 1em;
            padding-right: 0;}

ol.math > li > ol {list-style-type:lower-alpha}

ol#truth-table > li {padding-top: 1em;
                     padding-bottom: 0;
                     padding-left: 0;
                     padding-right: 0;}

table.truth-table {display:inline-block;
                   vertical-align: top;
                   margin-left: 15px;
                   margin-right: 15px;
                   border-collapse: collapse;}

table.truth-table td {text-align: center;
                      border: 1px solid #660000;
                      min-width: 16px;
                      padding-left: 4px;
                      padding-right: 4px;}

table.equation {padding: 0 0 0 0;
                border: 0;
                margin: .5em 0em 1em 0;
                border-collapse: collapse;}
table.equation td.lhs {text-align: right;
                       padding-left:0;
                       margin-left:0;}
table.equation td.eq  {text-align: center;}
table.equation td.rhs {text-align: left;
                       padding-right:0;
                       margin-right:0;}
table.equation td.cap {text-align: left;
                       padding-left:1em;}