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

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

.note { background-color: #FFFFCC; }

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

a:active    { color: #000000; text-decoration: underline; background-color: transparent; }
a:hover     { color: #000099; text-decoration: underline; 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; }