body
{
    font-family: sans-serif;
    font-size: 0.75em;
}
h3.headingbar
{
  width: 555px;
  background-color: #dfdfff;
  padding-top: 2px;
  padding-bottom: 2px;
  padding-left: 5px;
  margin-left: 0px;
  clear: both;
}
#content a, #content a:visited
{
  color: black;
  text-decoration: none;
  color: #457;
  font-weight: bold;
}

#content a:hover
{
  color: black;
  text-decoration: none;
  color: #89A;
  font-weight: bold;
}
h1
{
    text-align: center;
    font-size: 1.5em;
    padding-top: 0px;
    padding-bottom: 0px;
    margin-top: 15px;
    margin-bottom: 5px;
}
h2
{
    font-size: 1.3em;
    font-weight: bold;
    padding-top: 0px;
    padding-bottom: 0px;
    margin-top: 15px;
    margin-bottom: 0px;
}
h3
{
    font-size: 1.1em;
    font-weight: bold;
    padding-top: 0px;
    padding-bottom: 0px;
    margin-top: 15px;
    margin-bottom: 0px;
}
h4
{
    font-size: 1em;
    font-weight: bold;
    padding-top: 0px;
    padding-bottom: 0px;
    margin-top: 15px;
    margin-bottom: 0px;
}
h5
{
    font-size: 1em;
    font-weight: bold;
    padding-top: 0px;
    padding-bottom: 0px;
    margin-top: 15px;
    margin-bottom: 0px;
}
p
{
  /* text-indent: 5%; */
}
dt
{
  font-weight: bold;
  padding: 0 0 0 40px;
  background-image: url(../siteimages/dot.gif);
  background-repeat: no-repeat;
  background-position: 24px 3px;
}
dd
{
  font-size: 0.9em;
  padding-bottom: 5px;
  padding-left: 10px;
}
hr
{
  clear: both;
  border: 1px solid #bce;
  width: 100%;
}

div.quote
{
  border: 1px solid black;
  font-size: 1em;
  text-align: left;
  width: 500px;
  margin-left: 0;
  margin-right: 0;
  padding-top: 5px;
  padding-bottom: 5px;
  padding-left: 60px;
  padding-right: 5px;
  background: #BCE url(../siteimages/quote.png) center left no-repeat;
}

div.code
{
  border: 1px solid black;
  font-family: "Courier New", sans-serif;
  font-size: 1em;
  text-align: left;
  background-color: #BCE;
  overflow: auto;
  white-space: nowrap;
  width: 500px;
  margin-left: 0;
  margin-right: 0;
  padding-top: 5px;
  padding-bottom: 20px;
  padding-left: 5px;
  padding-right: 5px;
}

span.code_comment
{
  color: green;
}
span.code_string
{
  color: red;
}
span.code_keyword
{
  font-weight: bold;
}
span.code_comment span.code_keyword, span.code_string span.code_keyword
{
  font-weight: normal;
}
span.code_string span.code_comment, span.code_string span.code_special, span.code_string span.code_special2
{
  color: red;
  font-weight: normal;
}
span.code_comment span.code_string, span.code_comment span.code_special, span.code_comment span.code_special2
{
  color: green;
  font-weight: normal;
}
span.code_special
{
  font-weight: bold;
  color: #007;
}
span.code_special2
{
  font-weight: bold;
  color: #700;
}