body {
    background: #ffffff;
    font: 11pt/14pt Verdana, Arial, Helvetica, Sans-Serif;
    color: #000000;
    line-height: 1.4;
    margin: 0px 0px 1.5em 0px;
}


h1 {
  color: blue;
  text-align: center;
  font-weight: bold;
  font-size: 175%;   
}

h2 {
  color: blue;
  font-weight: normal;
  font-size: 110%;
}

div.code {
    font-family: Courier New, Courier, monospace;
    white-space: pre;
    margin-left: 2em;
    color: #000080;
}

span.code {
    font-family: Courier New, Courier, monospace;
    color: #000080;
}

span.comment {
    font-family: Courier New, Courier, monospace;
    color: #008000;
    font-style: italic
}



div.nav {
    margin-left: 5px;
    margin-top: 15px;
    font-size: 80%;
    color: #606060;
}

a.nav {
    text-decoration: none;
}

a.nav:hover {
    text-decoration: underline;
}