<STYLE>


BODY {BACKGROUND-COLOR: #CCCC99; 
      FONT-FAMILY: sans-serif; 
      MARGIN-LEFT: 15%; 
      MARGIN-RIGHT: 10%;
      COLOR: #333333}

BODY.L1 { BACKGROUND-COLOR: #CCCC99}
BODY.L2 { BACKGROUND-COLOR: #CCCCA0}
BODY.L3 { BACKGROUND-COLOR: #CCCCA1}
BODY.L4 { BACKGROUND-COLOR: #CCCCA2}
BODY.L5 { BACKGROUND-COLOR: #CCCCA3}
BODY.L6 { BACKGROUND-COLOR: #CCCCA4}
BODY.L7 { BACKGROUND-COLOR: #CCCCA5}
BODY.L8 { BACKGROUND-COLOR: #CCCCA6}
BODY.L9 { BACKGROUND-COLOR: #CCCCA7}
BODY.L10 { BACKGROUND-COLOR:#CCCCA8}

H1,H2,H3,H4 {  MARGIN-LEFT: 15%; FONT-FAMILY: serif}
 
PRE
{
    COLOR: green;
    FONT-FAMILY: monospace;
    FONT-WEIGHT: bold;
    WHITE-SPACE: pre
}
 
EM {FONT-STYLE: italic; FONT-WEIGHT: bold}

STRONG { FONT-WEIGHT: bold }
 
DIV.box
{
    BORDER-BOTTOM: solid thin;
    BORDER-LEFT: solid thin;
    BORDER-RIGHT: solid thin;
    BORDER-TOP: solid thin;
    PADDING-BOTTOM: 0.2em;
    PADDING-LEFT: 0.2em;
    PADDING-RIGHT: 0.2em;
    PADDING-TOP: 0.2em;
    WIDTH: 100%
}

PRE.bad {COLOR: #c06565}

P.changed { BORDER-LEFT: red solid thin}

TD
{
    FLOAT: left;
    FONT-FAMILY: sans-serif;
    FONT-SIZE: 100%;
    MARGIN: 1px 0px 2px
}
 
DD { MARGIN-BOTTOM: 20px; MARGIN-TOP: 8px }


div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;            /* Fallback if 'fixed' is not supported */
  position: fixed;
  top: 2em;
  left: auto;
  width: 8.5em;
  right: 2em;
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #900;
  border: thin outset #900;
  color: white;
}

div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #900 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

div.banner a:link { text-decoration: none; color: white }
div.banner a:visited { text-decoration: none; color: #CCC }
div.banner a:hover { background: black; color: white }


</STYLE>
