body { margin: 6px }
#pagebody { width: 700px; float: none; border-right: 1px solid #ccf; border-bottom: 1px solid #ccf; border-left: 1px solid #ccf; border-top-width: 1px; }
#pagebody h1 { color: black; font-size: 140%; background-color: #cf9; margin-top: 0; margin-right: 24px; margin-left: 24px; padding: 1em; }
#pagebody h2 { font-size: 120%; margin-right: 24px; margin-left: 24px; padding: 1em; border: solid 1px #063; }
#pagebody h3 { font-size: 120%; margin-right: 24px; margin-left: 24px; }
#pagebody h4 { color: #590505; font-size: 110%; margin-right: 24px; margin-left: 24px; }
#pagebody p { line-height: 150%; margin-right: 24px; margin-left: 24px; }
#pagebody ol { text-indent: 1em; margin-right: 2em; margin-left: 3em; }
#pagebody ul { text-indent: 1em; margin-right: 2em; margin-left: 2.5em; }
.class_b { font-weight: bolder; background-color: #cf9; padding-top: 0.1em; padding-bottom: 0.1em; }
.class_header { background-color: #cff; padding: 0.1em 1em; }