body {color:#000;font-size:10pt;font-family:sans-serif;margin-left:0;margin-right:0;margin-top:0;padding:4px;background:#fff}
a {color:#204a87;text-decoration:none}
a:hover {color:#f57900;text-decoration:underline}
a:visited {color:#ce5c00;text-decoration:none}
h1 {font-size:200%}
h2 {font-size:150%;font-weight:700}
h3 {font-size:125%}
h4 {font-size:112.5%}
h5 {font-size:inherit;font-weight:700}
.footnote {font-size:xx-small; margin-top:4px}
img {border:none!important}
img.inline {vertical-align: middle; margin: 2px}
table#header td.logo {width:96px;padding:0}
table#header td.main {padding-left:10px}
table#header td.sub {color:#777;border-top:solid 1px #ccc;padding-left:10px}
table.sortable {border: 1px solid black; border-collapse:collapse; background-color: rgba(238, 238, 236, 0.796875);}
table.sortable td {padding: 4px; border-spacing: 3px;border: 1px solid black}
table.sortable th {padding: 4px; border-spacing: 3px;border: 1px solid black}
th {background-color: rgba(218, 218, 216, 0.8); color: black}
.breadcrumb {background-color: rgba(218, 218, 216, 0.8); padding: 2px; border: solid 1px black}
div.news {border-top: solid 1px #bbb; border-bottom: solid 1px #bbb; padding: 4px}
div#footer {border-top: solid 1px #bbb; margin-top: 4px; padding: 2px}
span.centered {margin-left: auto; margin-right: auto; display: block; text-align: center; padding: 4px}
pre,tt {background-color: rgba(238, 238, 236, 0.796875);}
.crit {background-color: #ef2929; color: white}
.warn {background-color: #fce94f; color: #000}
.okay {background-color: #8ae234; color: #000}
.popup {display: none; background-color: rgba(218, 218, 216, 0.8); padding: 2px; border: solid 1px black}
.menu:hover .popup {position: fixed; display: block; z-index: 10; min-width: 64px}
.popup * {display: block; padding: 2px}
.menu {float: left; padding: 2px}
.content {clear: both}