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