body {
    font-family: arial,helvetica,sans-serif;
    color: #000000;
    background-color: #ffffcc;
    margin: 15px; }

p {
    font-family: arial,helvetica,sans-serif;
    margin-left: 20px; }


a:active                { color: #ff0000; }
a:visited               { color: #551a8b; }
a:link                  { color: #0000bb; }

h1, h2, h3, h4, h5, h6  { font-family: avantgarde, sans-serif;
                          font-weight: bold; }
h1                      { font-size: 180%; }
h2                      { font-size: 150%; }
h3 {
    font-size: 120%;
    margin-left: 20px; }

h4 {
    font-size: 100%;
    margin-left: 40px; }

code, tt {
    font-family: lucida typewriter, lucidatypewriter, monospace;
    font-size: 100%;
    color: #0000AA; }

var                     { font-family: times, serif;
                          font-style: italic;
                          font-weight: normal; }

.typelabel              { font-family: lucida, sans-serif; }

.navigation td          { background-color: #99ccff;
                          font-weight: bold;
                          font-family: avantgarde, sans-serif;
                          font-size: 110%; }

.release-info           { font-family: "times new roman", serif;
                          font-style: italic;
                          font-size: 10pt; }

.source, .test{
    font-family: monospace;
    font-weight: normal;
    color: #000000;
    background-color: #FFFFFF;
    font-size: 10pt;
    white-space: pre;
    border-color: black;
    border-style: solid;
    border-width: 1px;
    padding-left: 4pt;
    padding-right: 4pt; }

.test {
    background-color: #EEFFEE;}

pre {
    margin-left: 1.5cm;
    margin-right: 2.5cm; }

.highlight {
    background-color: #EEEEFF;
    font-weight: normal;}

blockquote {
    margin-top: 8pt;
    margin-bottom: 8pt;
    background-color: #DDFFDD;
    border-style:solid;
    border-width:1px;
    padding: 5px; }