.text {  font-family: "Times New Roman", Times, serif; font-size: 16pt}
.mistral  { font-size: 24pt; font-family: Mistral, "Courier New" }
a:link  {
	color: #0000FF;
	text-decoration: underline
}
a:visited  { color: orange; text-decoration: none }
a:hover {  color: #FFFF00; text-decoration: underline}
.emphasis {  font-weight: bold}
.versions { color: blue }