body {
    font-family: Arial, sans-serif;
    font-style: normal;
    font-size: 200%;
    #    color: #ffffff;
    #    background-color: #000000;
    #    background: url(logo.png)
}

body.splash {
    font-size: 300%;
    background: url(logo.gif) no-repeat bottom;
}


A:link {
    color: #2277ee;
}
A:visited {
    color : #cc3300;
}
A:hover {
    color : #000000 ;
    background-color : #aaaaaa
}

LI {
    margin-bottom: 0.5em;
}

pre {
    font-weight: bold;
}

#UL LI { list-style-image: url(bullet1.png) }
#UL UL LI { list-style-image: url(bullet2.png) }

LI LI { font-size: smaller }

h1 {
    color: #0000aa;
    text-align: center;
}

h1.splash {
    color: #cc3300;
}

h2.splash {
    color: #2277ee;
}

h3 {
    font-family: Arial, sans-serif;
}

b {
    font-weight: bold;
}

td {
    font-size: 200%;
}
th {
    font-size: 200%;
}

code {
    color: #00aa00;
}

div.box {
    font-size: smaller;
    border-width: medium;
    padding: 0.25em;
    background-color: #dddddd;
}