body {
	margin-top: 4em;
	padding-left: 14em;
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 90%;
	color: #333333;
	background-color: #f9f9f9;
}

p {
	width: 80%;
}

table {
	width: 80%;
}

h1 {
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 175%;
        font-weight: bold;
        color: #000000;
}

h2 {
        font-family: Georgia, "Times New Roman", Times, serif;
        font-size: 125%;
        font-weight: bold;
        color: #000000;
}

ul.navbar {
	list-style-type: none;
	padding: 0;
	margin: 0;
	position: absolute;
	top: 2em;
	left: 2em;
	width: 9em;
	border-right: double;
}

ul.navbar li {
	background: white;
	margin: 0.5em 0;
	padding: 0.3em;
}

ul.navbar a {
	text-decoration: none
}

ul.navbar a:hover {
	background: yellow;
}

:link {
	color: #00CC00;
	font-weight: bold;
}

:visited {
	color: #00CC00;
	font-weight: bold;
}

:hover {
	color: rgb(0, 96, 255);
	font-weight: bold;
	text-decoration: underline;
}

address {
	margin-top: 1em;
	padding-top: 1em;
	border-top: thin dotted;
	width: 80%
}

pre { font-family: monospace; }