body {
  margin-left: 6em;   /* adjust to taste */
  margin-right: 6em;  /* optional */
  
  font-size: 30px;
  line-height: 2.0;

  counter-reset: para; /* Initialize counter */
}
  

.auto-style1 {
	font-size: large;
}
.auto-style2 {
	font-size: medium;
	font-style: italic;
}
.auto-style3 {
	font-size: small;
	font-style: italic;
}
.auto-style4 {
	font-size: small;
}
.auto-style5 {
	font-size: medium;
}
.auto-style6 {
	font-style: normal;
}
.auto-style7 {
	font-style: italic;
}
.auto-style8 {
	border: 2px solid #000000;
}
.auto-style9 {
	font-size: large;
	font-style: italic;
}
.auto-style13 {
	font-size: small;
	vertical-align: sub;
	font-style: italic;
}



.tooltip {
    position: relative;
    display: inline-block;
    border-bottom: 1px dotted black;
    class: noselect;
}

.tooltip .tooltiptext {
    visibility: hidden;
    background-color: #f9f9ea;
    color: #000;
    text-align: left;
    border-radius: 6px;
    border: 1.5px solid gray;
    padding: 10px 0;
    position:absolute;
    z-index: 1;
    bottom: 100%;
    left: 1%;
    margin-left: -1px;
    -webkit-touch-callout: none; /* iOS Safari */
     -webkit-user-select: none; /* Safari */
      -khtml-user-select: none; /* Konqueror HTML */
        -moz-user-select: none; /* Firefox */
         -ms-user-select: none; /* Internet Explorer/Edge */
             user-select: none; /* Non-prefixed version, currently
                                  supported by Chrome and Opera */
    
}

.tooltip:hover .tooltiptext {
    visibility: visible;
}



.auto-style14 {
	border-width: 0px;
}
 


  /* Only paragraphs with class="num" get numbered */
  p.num, div.num {
    counter-increment: para;
    position: relative;
    padding-left: 7.5em;   /* space between number and text */
  	margin-left: -7.5em;
  }
  
  /* Numbered inline-block line inside a paragraph */
  span.inline-num {
    display: inline-block;
    counter-increment: para; 
    position: relative;
    padding-left: 7.5em;
    margin-left: -7.5em;
  }


  p.num::before,
  div.num::before,
  span.inline-num::before {
    content: counter(para) ".";
    position: absolute;
    left: 0;
    width: 3em;
    text-align: right;
    font-weight: bold;
    color: #555;
    font-size: 1.4em
  }
  

  
  /* For clean table borders */
table {
  border-collapse: collapse;
}



.mjx-chtml { font-size: 100% !important; }



.big { font-size: 1.25em; }



.center { text-align: center; }



.nowrap {
  white-space: nowrap;
}



.text {
    display: block;
    margin: 1.2em 0;
}



.block {
    display: block;
    margin: 2em 0;
}




.tight {
    display: block;
    margin: 0.5em 0;
}