body {background-color: #E3E4FA; font-family: "Times"; font-size: 110%; font-weight: 300 padding-top:25px; padding-bottom:25px; padding-right:150px; padding-left:150px; }
code-heavy{font-size: 100%; font-weight: 600; font-family: "Courier New"}
code-normal{font-size: 100%; font-weight: 300; font-family: "Courier New"}
highlight{font-size: 100%; font-weight: 600; color:#151B8D}
ul.disc {list-style-type: disc}
ul.plain {list-style-type: none}
li.plain{padding-left: 0; margin-left: 0; padding-bottom: 20px}