body 
{
  background-color: black;
  color: white;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: small;
  font-style: normal;
  font-weight: 400;
  text-decoration: none;
  text-transform: none;
}

#page
{
  width: 1000px;
  position: relative;
  left: 50%;
  margin-left: -500px;
  background-color: black;
  border: 1px solid gray;
  margin-top: 20px;
}
#header 
{
  width: 100%;
  clear: both;
  float: center;
  font-family: Courier;
  font-size: x-large;
  padding-top: 25px;
  padding-bottom: 25px;
}

#header2 
{
  width: 100%;
  clear: both;
  float: center;
  font-family: Courier;
  font-size: 12;
  padding-top: 25px;
  padding-bottom: 25px;
}

#menu
{
  width: 100%;
  clear: both;
  float: center;
  border-bottom: 1px solid white;
  padding-bottom: 5px;
}

a
{
  color: lightgrey;
  font-style: normal;
  font-weight: 400;
  text-decoration: none;
  text-transform: none;
}

a:hover
{
 color: white;
}

#body
{
  clear: both;
  float: center;
  padding: 15px;
}

#footer
{
  width: 100%;
  clear: both;
  float: center;
  border-top: 1px solid gray;
  padding: 0px;
  font-size: x-small;
}

.code .br0  { color: #66cc66; }
.code .co1  { color: #808080; font-style: italic; }
.code .co2  { color: #808080; font-style: italic; }
.code .co3  { color: #808080; }
.code .coMULTI  { color: #808080; font-style: italic; }
.code .es0  { color: #000099; font-weight: bold; }
.code .kw1  { color: #b1b100; }
.code .kw2  { color: #000000; font-weight: bold; }
.code .kw3  { color: #000066; }
.code .kw4  { color: #993333; }