body{
    /*setting top margin to zero gets around the problem where links
      to #top don't go all the way to the top.*/
    margin-top: 0px;
    padding-left: 2px;
    padding-right: 2px;
    background-color: #d0d0d0;
}

html{
    background-color: #d0d0d0;
}

#content{
    background-color: white;
    padding-left: 5px;
    padding-right: 5px;
    margin-bottom: 0px;
    /* in FF, anyway, this forces the content box to enclose the bottom edge of
     * the margin of any content. I don't know if this is actually standard.*/
    padding-bottom: 1px;
}

body.frontpage{
    padding-left: 0px;
    padding-right: 0px;
}

body.frontpage #content{
    padding-left: 2px;
    padding-right: 2px;
    margin-left: 2px;
    margin-right: 2px;
}

/* using body and td here is only necessary in case IE decides to go into quirks
 * mode. But it doesn't hurt anything, really. */
body, td{
    font-family: sans-serif;
}

a#top{
    /*this restores the 5-pixel-ish margin at the top of the page that the
    previous rule gets rid of.*/
    display:block;
    padding-top: 0px;
    padding-bottom: 5px;
}

.navtop a:link, .navbot a:link, a.choice:link {
    color: #000080;
}

.navtop a:visited, .navbot a:visited, a.choice:visited {
    color: #500050;
}

h1{
    font-size: 200%;
    background-color: #e0e0f0;
    margin-top: 0px;
    padding-top: 2px;
    margin-left: -5px;
    padding-left: 5px;
    margin-right: -5px;
    font-style: italic;
}

h2{
    font-size: 125%;
}

h3{
    font-size: 105%;
}

h2, h3{
    background-color: #c0c0f0;
    color: black;
    padding-left: 5px;
    padding-top: 4px;
    padding-right: 2px;
    padding-bottom: 2px;
    margin-left: -2px;
    margin-right: -2px;
}

h2.nobg, h3.nobg{
    background-color: transparent;
    color: black;
    padding-left: 0px;
    padding-top: 0px;
    padding-right: 2px;
    padding-bottom: 0px;
    margin-left: 0px;
}


div.navtop, div.navbot{
    background-color: #c0c0f0;
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 5px;
    padding-right: 5px;
}

/* Ah, if only IE supported the > combinator */
body.frontpage div.navtop, body.frontpage div.navbot{
    margin-left: 2px;
    margin-right: 2px;
}

div.navtop{
    border-top: #8080c0 solid 2px;
}

div.navbot{
    border-bottom: #8080c0 solid 2px;
}

.right{
    float: right;
    position: relative; /*make IE happy, all floats need position*/
    display: block;
}

/* this is not necessary because the code that magically inserts the top-links
 * checks for class="notoplink" first */
.notoplink .right{
    display: none;
}

h1 .right{
    font-size: 50%;
}

h2 .right{
    font-size: 66%;
}

h3 .right{
    font-size: 87%;
}

.e{
    background-color: #a0a0ff;
}

.q{
    background-color: #ff8000;
}

.warn{
    background-color: #ff8080;
}

.titleimg{
    float:right;
    padding-right:10px;
    padding-top: 6px;
    margin-top: 0px;
    padding-left: 10px;
    background-color: white;
}

#hostedby{
    padding-top: 0px;
    margin-top: 0px;
    text-align: right;
    font-style: italic;
    font-size: 70%;
    margin-right: 2px;
}

/* .license stuff not used, for now */
.license{
    background-color: #c0c0f0;
    padding: 4px 4px 2px 4px;
    border-bottom: 1px solid #8080c0;
    font-size: 70%;
}

div.prop{
    clear:both;
}

body.frontpage .license{
    clear: both;
    margin-left: 2px;
    margin-right: 2px;
    margin-top: 0px;
    border-top: 3px solid white;
}

li{
    margin-bottom: 0.3em;
}