1 body { background-color: white; margin-left: 2em; font-family: monospace; }
2 p { font-size: 10.5pt; margin-top: 0.5em; margin-bottom: 0.5em; }
3 li, dd, dt, td, th { font-size: 10.5pt; }
4 dt { font-weight: bolder; margin-top: 1em; margin-bottom: 0.3em; }
5 h1 { text-align: center; }
6 h2 { color: navy; text-decoration: underline; margin-left: -1em; }
7 h3 { color: navy; margin-left: -1em;}
9 code { color: green; font-size: 100%; }
11 strong { color: red; text-decoration: underline; font-weight: bolder; }
12 em { color: red; font-style: normal;}