/*
 * Note that the size specifications for the H* elements are because
 * Netscape on Solaris otherwise doesn't get it right; they all end up
 * the normal text size.
 */

body                    { font-family: arial,helvetica,sans-serif;
                          font-size: 100%;
                          color: #000000;
                          background-color: #ffffcc; }

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


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: 145%; }
h2                      { font-size: 130%; }
h3, h4                  { font-size: 115%;
                          margin-left: 20px;
                        }

code, tt                { font-family: monospace; }


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

.footer                 { 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;}

.set-apart {
    border-style: solid;
    border-width: thin;
    border-color: #000000;
    margin-left: 50px;
    margin-right: 50px;
    padding: 10px;
}