Body {
	font-family: Verdana, Arial, Helvetica, sans-serif; }
p {
	font-size: 10pt; }
.menubar {
	font-size: 12; }
.title {
	font-family: Times New Roman, Times, serif;
	font-weight: bold;
	font-style: italic; }
.sidetitle {
	font-family: Times New Roman, Times, serif;
	font-weight: bold;
	font-style: italic;
	font-size: 16pt;
	color: #003333;
	}
.sideitem {
	font-size: 10pt;
	color: #003333;
	}
.notation {
	font-size: 8pt;
	font-style: italic;
	}


A {
	color: #003333;
	text-decoration:underline;}
A:visited {
	color: #003333;
	text-decoration:underline;}
A:active {
	color: #003333;
	text-decoration:underline;}
A:hover {
	color: #003333;
	text-decoration:none;}