/* Pretty simple stylesheet for CSS: adjust font-family, color, background-color to taste */

pre, code {color:black; background-color:white; font-size:8pt}

ul {list-style-type:disc}
li {margin-bottom:.3em}
hr {color:darkred; background-color:darkred} /* adjust to taste */
h1 {margin-top:0}

/* Tidy up tables pasted in from MS Word */
.MsoNormalTable, .MsoTableGrid {width:auto !important; border-collapse: collapse!important;}
.MsoNormalTable *, .MsoTableGrid * {width:auto !important; padding:.5em !important; margin:0 !important; }

/* Public domain: found at http://www.unverse.net/whizzery/simple.css */