#banner { background-color: #ddd; padding-top: 10px; padding-bottom: 10px; margin-bottom: 0; }
#navigation { position: relative; display: block; background-color: #ddd; height: 2em; margin-bottom: 2em; }
.title { font-size: large; }
body { font-family: Arial, Helvetica, sans-serif; margin-top: 0px; }
h1 { background-color: #ddd; font-size:18px; font-weight:400; margin: 0; text-align:center; padding-top: 10px; padding-bottom: 10px;}
td { vertical-align: top; }
a:visited { color: #96c; text-decoration: underline; }
a:hover { color: blue; text-decoration: none; background-color: #ffc; }
a:link { color: blue; text-decoration: underline; }
a.strike {text-decoration:line-through;}
a span.anchornorm {text-decoration: none; color: black; }
.descrip { font-size: small; }
.main { position: absolute; left: 10px; }
.search { position: absolute; right: 9px; }
.section { display: block; padding-left: 0px; margin-right: 30px; font-weight: bold; padding-top: 1em; }
.strike {text-decoration:line-through;}
.sub { display: block; padding-left: 10px; margin-right: 30px; line-height: 21px; }
.subx2 { display: block; padding-left: 20px; margin-right: 30px; line-height: 21px; }
.subx3 { display: block; padding-left: 30px; margin-right: 30px; line-height: 21px; }
.subx4 { display: block; padding-left: 40px; margin-right: 30px; line-height: 21px; }
.center { text-align: center; }