body {  font-family: Georgia, "Times New Roman", Times, serif}
a:link {  text-decoration: none}
a:active {  text-decoration: none}
a:visited {  text-decoration: none}
a:hover {  text-decoration: underline}
a {  font-style: italic; font-weight: bold}
.smaller {  font-size: 90%}
.muchsmaller { font-size: 75%}
.framed { border: 2px #FFcc66 inset }
.grid {
	font-family: "Courier New", Courier, monospace;
}