2002-09-04 23:20:11 -04:00
|
|
|
html { border: 0px;
|
|
|
|
margin: 0px;
|
|
|
|
padding: 0px;
|
|
|
|
}
|
|
|
|
|
2002-05-09 08:14:54 -04:00
|
|
|
.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; }
|
2002-06-13 16:40:09 -04:00
|
|
|
|
2002-09-04 11:46:35 -04:00
|
|
|
dl dt { font-weight: bold; }
|
|
|
|
|
2003-10-15 14:16:35 -04:00
|
|
|
|
2002-06-13 16:40:09 -04:00
|
|
|
.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;
|
2002-07-08 11:34:04 -04:00
|
|
|
border-bottom: 2px solid rgb(110,139,61);
|
|
|
|
}
|
|
|
|
|
|
|
|
.content li { margin: 0em;
|
|
|
|
padding-bottom: 0.75em;
|
|
|
|
}
|
2003-10-15 14:16:35 -04:00
|
|
|
|
2003-10-20 23:52:10 -04:00
|
|
|
.filename { font-family: sans-serif; }
|
|
|
|
|
2003-10-15 14:16:35 -04:00
|
|
|
/* 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; }
|
|
|
|
|
2003-10-20 23:52:10 -04:00
|
|
|
p { margin-top: 0em;
|
|
|
|
margin-bottom: 1em;
|
|
|
|
padding-top: 0em;
|
|
|
|
padding-bottom: 0em; }
|
|
|
|
|
2003-10-15 14:16:35 -04:00
|
|
|
li,
|
|
|
|
dl dd { margin-top: 0em;
|
|
|
|
margin-bottom: 0.5em; }
|