body
{
    background-image: url('../images/blueback.gif');
    background-color: #ffffff;
}
a:link
{
    color: #0000d0;
}
a:active,a:hover
{
    color: #0000a0;
}
a:visited
{
    color: #0000f0;
}
p
{
  color: #000000;
  font-family: "times";
  font-size: small;
  font-weight: normal;
}
h1
{
  color: #0000a0;
  font-family: "Arial";
  font-size: large;
  font-weight: bold;
}
h1 span.tag
{
  vertical-align:top;
  color: #0000a0;
  padding-left: 1em;
  font-weight: normal;
  font-size: xx-small;
  font-style: normal;
}

h1 span.tag a
{
  vertical-align:top;
  font-weight: normal;
  font-size: xx-small;
  font-style: normal;
}
h2
{
  color: #0000a0;
  font-family: "Arial";
  font-size: small;
  font-weight: bold;
}
h2 span
{
  font-weight: bolder;
  color: #ff0000;
}
h5
{
  font-weight: bold;
  font-size: small;
  font-style: italic;
}
div.copy
{
  font-size: xx-small;
}
span.new
{
  vertical-align:top;
  color: #ff0000;
  font-weight: bold;
  font-size: xx-small;
  font-style: italic;
}

span.discontinued
{
  vertical-align:top;
  color: #ff0000;
  font-weight: bold;
  font-size: xx-small;
  font-style: italic;
}

span.source
{
  font-family: "Courier";
  font-size: x-small;
}

pre.commandline
{
  font-family: "Courier";
  font-size: x-small;
}