body, h1, h3, td, th, p, i, b, ol, ul, li, div {font-family: Arial, Helvetica}
pre {font-family: Courier New, Courier; font-size: 90%}
code {font-family: Courier New, Courier; font-size: 90%}
h1.inline, h3.inline {display: inline; vertical-align: middle}
span.h1 {font-size: 140%; font-weight: bold}
span.h3 {font-size: 110%; font-weight: bold}
td.cat-highlight {padding-top: 2pt; padding-bottom: 1ex; text-align: center}
td.cat-normal {padding-top: 2pt; padding-bottom: 1ex; text-align: center}
td.nav-lang {padding-top: 2pt; padding-bottom: 1ex}
img.nav-lang {width: 1.6em; height: 1em}
td.inpage-highlight {border: 1px solid black; padding-top: 1.5pt; padding-bottom: 1.5pt; text-align: center}
td.inpage-normal {border-bottom: 1px solid black; padding-top: 1.5pt; padding-bottom: 1.5pt; text-aling: center}
td.main {}
td.horiz-splitter {background-image: url(../images/solid_line.gif)}
td.vert-splitter {background-image: url(../images/dashed_line.gif)}
table.mytable td, table.mytable th {padding-left: 1ex; padding-right: 1ex; padding-top: 0.2ex; padding-bottom: 0.2ex; vertical-align: top}
/*td.logo {background-color: #ffffff}*/
body {background-image: url(../images/bg.gif); margin-left: 0px; margin-right: 0px; margin-top: 1ex; margin-bottom: 0px}
p.spacer {padding-top: 1ex}
p.spacer2 {padding-top: 2ex}
a:link {text-decoration: none}
a:visited {text-decoration: none}
a:hover {text-decoration: underline}
.yes {color: green}
.no {color: red}
.maybe {color: darkorange}
.probably {color: darkorange}