BODY {background-color: #DDDDFF}
P {color: brown; font-size: 14pt; font-face: Arial, sans-serif}
A {color: blue}
A:hover {color: red}
A.nav {font-size: larger}
A.mininav {font-size: 7pt; color: darkgreen}
.highlight {background-color: orange}
.layout {border-style: none; font-family: Arial, sans-serif; font-size: medium; background-color: lightblue}
TABLE {font-family: monospace; border-style: none; border-width: thin; margin: 0px; padding: 0px; background-color: white}
LI {list-style: none; font-weight: 500; font-size: larger; font-face: Verdana, sans-serif; letter-spacing: 0.2em; padding-top: 0.5em; padding-bottom: 0.5em; text-align: center}