body { font-family: Arial, sans-serif }
body { background: blue ; color: #FFFF99 }
body { margin-left: 1%; margin-right: 1%; }
body { margin-top: 1em; margin-bottom: 1em; }
a:link, a:visited, a:active { text-decoration: underline; color: yellow }

a:hover { color: red ; text-decoration: none }

.index { padding-left: 100px }
.bold { font-weight: bold ; font-size: larger }
.citation { font-size: smaller }
.section { text-decoration: overline }
.note { text-align: center }