htdocs/style.css

html       { border: 0px;
             margin: 0px;
             padding: 0px;
             }

.corner    { width: 200px;
             height: 80px;
             text-align: center;
             }
.navbar    { background-color: rgb(110,139,61);
             padding-top: 2em;
             }
.banner    { background-color: rgb(110,139,61);
             color: rgb(255,236,176);
             padding-left: 2em;
             }
.banner h2 { font-size: 200%; }
.content   { padding: 2em; }

dl dt      { font-weight: bold; }

.content thead { background-color: rgb(110,139,61);
                 color: rgb(255,236,176);
                 }

.content td,
.content th    { padding: .2em;
                 margin: 0em;
                 border-width: 0px;
                 vertical-align: baseline;
                 border-bottom: 2px solid rgb(110,139,61);
                 }

.content li    { margin: 0em;
                 padding-bottom: 0.75em;
                 }