body {background-color: #FFFFCC; font-family: "Times"; font-size: 110%; font-weight: 300}
code-heavy{font-size: 100%; font-weight: 600; font-family: "Courier New"}
code-normal{font-size: 85%; font-weight: 200; font-family: "Courier New"}
highlight{font-size: 100%; font-weight: 600; color:#CC0000}
ul.disc {list-style-type: disc}
ul.plain {list-style-type: none}
li.plain{padding-left: 0; margin-left: 0; padding-bottom: 20px}