body {
 font-family: Verdana, Geneva, Arial, sans-serif;
 font-size: smaller;
 background-color: #FFFFFF;
}
h1 {font-size: 170%; font-weight: bold; margin-top: 1em; margin-bottom: 0.4em}
h2 {font-size: 130%; font-weight: bold; margin-top: 1em; margin-bottom: 0.4em}
h3 {font-size: 100%; font-weight: bold; margin-top: 1em; margin-bottom: 0.4em}
pre {font-size: 80%; margin-top: 1em; margin-bottom: 0.4em}
ol, ul {margin-top: 0; margin-bottom: 0}
p, li {margin-top: 0.8em; margin-bottom: 0}
blockquote {margin-top: 0.8em; margin-bottom: 0}
.small {font-size: smaller}
.big {font-size: larger}
.huge {font-size: 200%}
.bold {font-weight: bold}
.italic {font-style: italic}
.red {color: #FF0000}
.center {text-align: center}
.big_bold {font-size: larger; font-weight: bold}
.big_bold_center {font-size: larger; font-weight: bold; text-align: center}
.bold_center {font-weight: bold; text-align: center}
.huge_bold_center {font-size: 200%; font-weight: bold; text-align: center}
.small_bold {font-size: smaller; font-weight: bold}
.small_center {font-size: smaller; text-align: center}
table, tbody, tr, th, td {font-size: 100%}
table {margin-top: 1em; margin-bottom: 0.4em}
th {vertical-align: bottom}
td {vertical-align: top}
acronym {cursor: help; border-bottom: 1px dotted blue}