body { 
    background-color: #ddd;
    margin: 0;
} 
div.box {
    margin-left: auto;
    margin-right: auto;
    border: solid 1px black;
    background-color: white;
    width: 640px;
    padding: 10px;
}
h1 {
    font: bold 18pt Verdana, sans-serif; 
    margin-top: 5px;
    margin-bottom: 5px;
}
h2 {
    font: bold 14pt Verdana, sans-serif; 
    margin-top: 5px;
    margin-bottom: 2px;
}
p { /* Normal paragraph */
    font: 10pt Verdana, sans-serif; 
    margin-left: .15in;
    margin-right: .15in;
    margin-top: 0;
}
p.ital_block {
    /* Indented italic block */
    font-style: italic;
    margin-left: .4in;
    margin-right: .4in;
}
p.indent {
    /* Indented block */
    margin-left: .4in;
    margin-right: .4in;
}
p.top_nav {
    font: 10pt bold Arial, sans-serif;
    text-align: center;
    margin-left: auto;
    margin-right: auto;
    margin-top: 0;
    margin-bottom: 0;
    background-color: #ddd;
    padding: 4px;
    width: 640px;
}
li { 
    font: 10pt Verdana, sans-serif; 
    margin-left: .25in;
    margin-right: .25in;
}
.centered { 
    text-align: center; 
}
.date { 
    font: italic 10pt Verdana, sans-serif;
}
.inline_right {
    margin: .1in;
    float: right;
}
.code {
    font: 9pt bold Lucida Console, monospace;
}