body {
 font-family: Verdana, Sans-Serif;
 font-size: 12px
}

font {
 font-family: Verdana, Sans-Serif;
 font-size: 12px
}

h1 {
 background-color: #93ABB7;
 border: 1px solid #7B8798;
 color: white;
 font-family:  Verdana, Sans-Serif;
 font-size: 22px
 padding: 5pt;
 text-align: center;
}

h2 {
 font-family:  Verdana, Sans-Serif;
 font-size: 16px
 padding: 5pt;
 text-align: left;
}


.programlisting {
 border: 1px solid #AEBDCC;
 background-color: #F3F5F7;
 font-family: courier, monospace;
 font-size: 12px
 padding: 5pt;
}

.toc {
 font-family: Verdana, Sans-Serif;
 font-size: 12px;
}