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;
                 }

.filename  { font-family: sans-serif; }

/* These margin and padding settings are tedious at best.  The idea is
   to make sure we can put news items on the site that aren't just a
   ordered or unordered list, and have it not look too ugly.
*/
dl dd ul,
dl dd ul li    { padding-left: 0em;
             margin-left: 0em; }

dl dd      { margin-left: 2em; }

dl, ol, ul,
dl dt      { margin-top: 0em;
             margin-bottom: 0em;
             padding-top: 0em;
             padding-bottom: 0em; }

p          { margin-top: 0em;
             margin-bottom: 1em;
             padding-top: 0em;
             padding-bottom: 0em; }

li,
dl dd      { margin-top: 0em;
             margin-bottom: 0.5em; }