body {			margin: 0px 0px 0px 0px;
			font-family:arial,helvetica,sans-serif;
			font-size: 14px;
			color : #000000; }

.redbar {		padding: 3px 3px 3px 3px;
			background-color:#6060FF;
			text-align:center;
			color : #FFFFFF; }

.menu {			padding: 1px 1px 1px 1px;
			background-color:#e8e8e8;
			text-align:center; }

.main {			padding: 3px 25px 3px 25px;
			font-family:arial,sans-serif; }

.menulink {		color: #000000;
			font-size: 14px;
			font-weight:  bold;
			text-decoration: none; }

a.menulink:hover {	font-size: 14px;
			text-decoration: underline; }

small {			font-size: 12px; }

pre {			font-family: "Courier New", Courier; }

a {			color: #000080;
			text-decoration: none }

a:hover {		text-decoration: underline }

h1 {			font-size: 20px;
			font-weight: bold; }
h2 {			font-size: 16px;
			font-weight: bold; }