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;}