body { color: black; background-color: white; font-family: arial, sans-serif; font-size: small; }

h1 {color : blue; font-size: large }
h2 {color : #000099; font-size: medium }
h3 {color : #000000; font-size: medium }

span.note { border: 0px; padding: 0.05em; background-color: #FFFFCC; }
p.note, div.note { border: 1px solid; padding: 0.5em; background-color: #FFFFCC; }

.sup { background-color: green; font-weight: bold; color: white }
.nosup { background-color: white; font-weight: normal; color: gray; }

a:link:active { color: #000000; background-color: transparent; }
a:link:hover { color: #000099; background-color: #F4F4FF; }
a:visited:hover { color: #551A8B; background-color: #F4F4FF; }

li.margintop { margin-top: 0.5em; text-align: left; }
ul li, ol li { margin-bottom: 0.3em; }
li ul, li ol { margin-top: 0.3em }

p.header { font-weight: bold; color: white; background-color: navy; padding: .2em; }
p.copyright { font-weight: bold; color: white; background-color: navy; padding: .2em; }

/* Search links */
a.search_results { font-weight: bold; }