BODY {background-color: #ffffff; color: #000000; background: url('../../../gifs/tux.gif') }
A:link { color: #0000ff; }
A:visited { color: #51188E; }
A:active { color: #ff0000; }
H1, H2 { text-align: center }
H3 { text-align: left; color: #800080 }
H3.red { text-align: center; color: #ff0000 }
BLOCKQUOTE { color: #0000ff }
PRE { color: #0000ff }
.indent { margin-right: 5%; margin-left: 5%; color: #0000ff }
.eindent { margin-right: 5%; margin-left: 5%; color: #006000; font-size: 18}
.center { text-align: center }
.firstindent { text-indent: 2em}
.document { color: black; font-weight: 800; font-size: 24; padding: 1em }
.header { font-weight: 800; font-size: 20; color: #CC0000; padding: 1em }
.subheader { font-weight: 800; font-size: 18; color: #CC0000; padding: 1em }
.version { color: black; font-weight: 400; font-size: 18 }
.author { color: black; font-weight: 600; font-size: 18 }
.tindex1 { vertical-align: top; width: 20% }
.tindex2 { vertical-align: top; width: 50% }
.dindex2 { vertical-align: top; width: 60% }
.space { vertical-align: top; width: 5px }
.lastt { vertical-align: top }
.dot { color: #ff0000 }
.title { color: #008000 }
.title1 { color: #0000ff }
.title2 { color: #000080 }
.title3 { color: #0000c0 }
.title4 { color: #800080 }
.bold { font-weight: 600 }
div.outline { border-top: solid medium navy }
HR { color: #0000B0; height: 2; width: 100%; text-align: center }
HR.half { color: #00B000; height: 2; width: 50%; text-align: center }
HR.other { color: #0000ff; height: 5; width: 100%; text-align: center }
HR.firsthr { color: #80b0ff; height: 15; width: 100% }
IMG { border-width: 0; margin-top: 3px }
A.vertlinks { text-align: left; font-weight: 400; font-size: 12; text-decoration: underline }
.leftnumbers { color: #000000; margin-left: 2.4em; font-size: 12; line-height: 1.7em }