ul, ol, pre, dl, p {
 margin-top: auto;
 margin-bottom: 1em;
}

h1 :link:hover,
h1 :visited:hover,
#footnav :link:hover,
#footnav :visited:hover {
 background-color: #cebf8d;
}

.lfloat { float: left; margin-right: 0.5em; }
.rfloat { float: right; margin-left: 0.5em; }

.announcements {
 border-top: thin solid #996;
 border-bottom: thin solid #996;
 padding: 1ex 0.5em;
 background-color: #ffe6cc;
}

.announcements h2, .announcements h3, .announcements p {
 margin-bottom: 1ex;
}
.announcements h2 {
 margin-bottom: 0.2em;
}
.announcements h3 {
 margin-top: 0;
 margin-left: 1em;
 font-size: 80%;
 font-weight: normal;
 font-style: italic;
}

.footnote {
 border-top: thin solid #996;
 padding-top: 1ex;
 font-size: smaller;
}

.searchbox { width: 12em }