body {
margin-left : 20px;
margin-right : 20px;
font-family: arial; }
.pagetitle {
font-weight: bold;
font-size: 20pt;
margin-left: 20px;
font-family: monospace;
color: black;
border: 0;
text-decoration: none;
}
.undertitle {
font-size: 12pt;
margin-left: 50px;
font-family: monospace; }
hr {
color:slategray; }
.code {
font-size: 9pt;
margin-left: 12pt;
font-family: monospace;
background: #f0f0f0; }
.note {
font-size: 8pt;
margin-left: 50px;}