body         { font-family: Tahoma, Verdana, Arial, Helvetica; font-size: 10pt }
h3           { color: #000080; font-size: 20pt; font-weight: bold }
h4           { color: #000080; font-size: 18pt; font-weight: bold }
table        { font-family: Tahoma, Verdana, Helvetica; font-size: 10pt }
th           { color: #FFFFFF }
.codediv     { font-family: Courier New;
               font-size: 12px;
               border: 1px solid #999999;
               padding: 3px;
               background-color: #F2F2F2;
               margin-bottom:10px; }
.codeelement { font-family:Courier; }
.samplecode  { border:1px solid #cccccc;
               padding:5 0 5 0;
               background:#eeeeee;
               font-family:Courier New }
.notebox  { border:1px solid #cccccc;
               padding:5 0 5 0;
               background:#eeeeee; }