body {
    /*counter-reset: section 0 enumerate 0 bibitem 0; */
    margin-top: 0px; margin-left: 50px;
    margin-right: 50px;
    padding: 0;
    color: #111;
    background: #fff;
    font-family: sans-serif; font-size: 20px;
}

h1 { font-size: 30px; color: #070606; padding: .5em 0;}
h2 { font-size: 20px; color: #070606; padding: .5em 0;}
h3 { font-size: 16px; }


p {
text-indent:25px;
}

div.proposition:after {
    content: " " counter(proposition)" "; 
    counter-increment: proposition 0;
    font-style: normal; 
    font-weight: bold; 
}

div.proposition{font-weight:bold; margin-left:50px; }

.proposition{counter-increment: proposition; }


div.lemma:after {
    content: " " counter(lemma)" "; 
    counter-increment: lemma 0;
    font-style: normal; 
    font-weight: bold; 
}

div.lemma{ font-weight:bold; margin-left:50px; }

.lemma{counter-increment: lemma; }

div.theorem:after {
    content: " " counter(theorem)" "; 
    counter-increment: theorem 0;
    font-style: normal; 
    font-weight: bold; 
}

div.theorem{ font-weight:bold; margin-left:50px; }


div.quote{margin-left:50px; }



.theorem{counter-increment: theorem; }

/* LaTeXtable  configuration */

table.LaTeXtable {
   border-collapse:collapse;
   margin-left:auto; 
   margin-right:auto;
}

table.LaTeXtable td {
   border:1px solid black;
   padding:5px;
}

table.LaTeXtable tbody {
   text-align:center;
   margin-left:auto; 
   margin-right:auto;
}

/*
table.LaTeXtable td.caption:before {
   content: "Table ";
   font-style: normal; 
   font-weight: bold 
}
*/
table.LaTeXtable td.tabular table.tabular {
   text-align:center;	
}

div.LaTeXtable {
   text-align: center;	
   margin-top: 10px; 
   margin-bottom: 10px; 
}

div.LaTeXtable:before {
   content: "Table "counter(section)"."counter(LaTeXtable)": ";
   counter-increment: LaTeXtable;  
   font-style: normal; 
   font-weight: bold;
}





.item:before {
    font-style: normal; 
    font-weight: bold; 
   content: counter(item) ". ";  
}

.item {
   counter-increment: item ;  
}



.collapsible {
  background-color: #eee;
  color: #444;
  cursor: pointer;
  padding: 18px;
  width: 95%;
  border: none;
  text-align: left;
  outline: none;
  font-size: 20px;
  margin-left:50px;
}

.collapsible-in {
  background-color: #eee;
  color: #444;
  cursor: pointer;
  padding: 5px;
  border: none;
  text-align: left;
  outline: none;
  font-size: 20px;
}

.inncollapsible-in {
  background-color: #C7C7C7;
  color: #444;
  cursor: pointer;
  padding: 5px;
  border: none;
  text-align: left;
  outline: none;
  font-size: 20px;
}





.inner {
  background-color: #C7C7C7;
  color: #444;
  cursor: pointer;
  padding: 18px;
  width: 95%;
  border: none;
  text-align: left;
  outline: none;
  font-size: 20px;
  margin-left:0px;
}

.innactive, .inner:hover {
  background-color: #bbb; 
}

.inncontent {
  padding: 0 18px;
  display: none;
  overflow: hidden;
  background-color: #E0E0E0; 
  margin-left:0px;
  width: 92.5%;
  font-weight:normal;
}

.inncontent1 {
  padding: 0 18px;
  display: none;
  overflow: hidden;
  background-color: #D3D3D3; 
  margin-left:0px;
  width: 92.5%;
  font-weight:normal;
}



/*.inncontent:hover{ background-color: #f1f1f1;}*/





.active, .collapsible:hover {
  background-color: #ccc;
}

.content {
  padding: 0 18px;
  display: none;
  overflow: hidden;
  background-color: #f1f1f1;
  margin-left:50px;
  width: 92.5%;
}