body {color: #f0f0f0; background: #000000}
a:link    {color: #ffffff}
a:visited {color: #a0a0a0}
a:active  {color: #ff0000}

h1 {text-align: center; font-family: sans-serif; font-size: 120%}
h2 {font-family: sans-serif; font-size: 110%}
h3 {font-family: sans-serif; font-size: 100%}
h4 {font-size: 100%}
h5 {font-weight: bold}
h6 {font-size: 80%;  font-weight: bold}


/* Test styles.  */
span.x {font-family: helvetica, arial, sans-serif; font-size: 80%; font-weight: bold}
span.xa {font-family: helvetica, arial, sans-serif; font-size: 1em; font-weight: bold}
span.y {font-family: helvetica, arial, sans-serif; font-weight: bold}
span.z {font-family: helvetica, arial, sans-serif; font-size: small; font-weight: bold}
h1.x {font-family: helvetica, arial, sans-serif; font-size: 144%}
h2.x {font-family: helvetica, arial, sans-serif; font-size: 120%}
h3.x {font-family: helvetica, arial, sans-serif; font-size: 100%}
h4.x {font-family: helvetica, arial, sans-serif; font-size: 100%; font-weight: normal; text-transform: uppercase}
h5.x {font-family: helvetica, arial, sans-serif; font-size: 100%;  font-weight: normal}
h6.x {font-family: helvetica, arial, sans-serif; font-size: 80%;  font-weight: normal}

/* The following (and other <p> style stuff) requires some careful thought
   before a style decision is reached, because of its wide implications.  */
/* p {text-indent: 1em} */
p.indented {text-indent: 2em}

p.left {text-align: left}
p.right {text-align: right}
p.center {text-align: center}

blockquote p {margin-top: 0.8ex; margin-bottom: 0ex}

/* Note: Netscape has notoriously bad support for list style stuff.  */
ul.unmarked {list-style-type: none}

/* For marginalia, also taking care of some Netscape... shortcomings,
   while possibly preventing shortcomings of other browsers.  */
table.marginal {font-family: serif; font-size: small; margin-left: 1em}
table.marginal td {font-family: serif; font-size: small}
td.marginal {font-family: serif; font-size: small}
td.marginal td {font-family: serif; font-size: small}
td.marginal td {font-family: serif; font-size: small}
span.marginal {font-family: serif; font-size: small}

.ss {font-family: helvetica, arial, sans-serif; font-size: 80%}

.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
td.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
span.nav span.cur {font-weight: bold}
td span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
td span.nav span.cur {font-weight: bold}
th span.nav {font-family: helvetica, arial, sans-serif; font-size: 80%}
th span.nav span.cur {font-weight: bold}

.format {font-family: helvetica, arial, sans-serif; font-size: 70%; color: #606060}

.author {font-family: helvetica, arial, sans-serif; font-size: 80%}

.boxhdr {color: #000000; 
         background: #f4f4f4; 
         font-family: sans-serif; font-size: 90%;
         font-weight: bold}

.box {color: #000000; 
      background: #f4f4f4; 
      font-family: sans-serif; font-size: 80%}
      

span.warning {color: #c00000; font-weight: bold}
td span.warning {color: #c00000; font-weight: bold}

/*
div.header {font-family: helvetica, arial, sans-serif}
div.header td {font-family: helvetica, arial, sans-serif}
div.footer {font-family: helvetica, arial, sans-serif}
div.footer td {font-family: helvetica, arial, sans-serif}
*/

span.AN {color: #ffffff; font-weight: bold}
span.AN a:link {color: #ffffff; text-decoration: none}
span.AN a:visited {color: #ffffff; text-decoration: none}
span.AN a:active {color: #ffffff; text-decoration: none}
span.AN span.cap {color: #c00000}
span.AN a span.cap {color: #c00000}

div.footer {color: #12425a}
div.footer span.copyright a:link {color: #12425a; text-decoration: none}
div.footer span.copyright a:visited {color: #12425a; text-decoration: none}
div.footer span.copyright a:active {color: #12425a; text-decoration: none}
div.footer span.AN {color: #12425a; font-weight: bold}
div.footer span.AN a:link {color: #12425a; text-decoration: none}
div.footer span.AN a:visited {color: #12425a; text-decoration: none}
div.footer span.AN a:active {color: #12425a; text-decoration: none}

span.check {color: #e0e0e0; font-family: helvetica, arial, sans-serif}
span.check a:link {color: #e0e0e0; 
  font-family: helvetica, arial, sans-serif; text-decoration: none}
span.check a:visited {color: #e0e0e0;
  font-family: helvetica, arial, sans-serif; text-decoration: none}
span.check a:active {color: #e0e0e0; 
  font-family: helvetica, arial, sans-serif; text-decoration: none}

span.highlight {background: #f0f000; font-weight: bold}

/* For outer links.  */
span.outer {background: #f4f4f4}
.outer {background: #f4f4f4}

.dimmed {color: #a0a0a0}
.bigss {font-family: helvetica, arial, sans-serif; font-size: 100%}