body {width: 98%; max-width: 800px; margin-left: auto; margin-right: auto; background-color: #FFFFFF; font-family: Arial, sans-serif; font-size: 13px;}
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-family: 'Courier New', Courier, monospace; font-size: 88%; margin-top: 1em; margin-bottom: 0.4em;}
ul {margin-top: 0; margin-bottom: 0;}
ol {margin-top: 0; margin-bottom: 0;}
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: #DD0000;}
.center {text-align: center;}
.right {text-align: right;}
.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;}
img {vertical-align: bottom;}
table {margin-top: 1em; margin-bottom: 0.4em;}
th {vertical-align: bottom; font-size: 13px;}
td {vertical-align: top; font-size: 13px;}
abbr {cursor: help; border-bottom: 1px dotted blue;}