.menu {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
	font-weight: bold;
	color: #FFFFFF;
}
.menuxp {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
	font-style: italic;
	color: #FFFF00;
}
.menusection {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
	font-weight: bold;
	color: #000088;
}
.white {
	color: #FFFFFF;
}
.darkblue {
	color: #000088;
}
h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 42px;
	font-weight: bold;
	margin-top: 0px;
	padding-top: 0px;
	margin-bottom: 0px;
	padding-bottom: 0px;
	padding-right: 15px;
}
.sans {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
}
.redlink {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
	font-weight: bold;
	color: #FF0000;
}
.red {
	color: #FF0000;
}
.topic {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
	color: #FF0000;
	text-transform: uppercase;
}
.subsection {
	font-family: Arial, Helvetica, sans-serif;
	font-weight: bold;
}
.paper {
	font-family: Arial, Helvetica, sans-serif;
	font-size: smaller;
	font-weight: bold;
}
a {
	text-decoration: none;
}
.close {
	margin-top: 0px;
	margin-bottom: 0px;
	padding-top: 0px;
	padding-bottom: 0px;
}