#navbar
{
	border: medium solid green;
	background-color: black;
	color: white;
	padding: 0.5em 0.5em 0.5em 0.5em;
	margin: 0.5em 0.5em 0.5em 0.5em;
	font-family: monospace;
	float: left;
	width: 25%;
}

#navbar hr
{
	padding: 0 0 0 0;
	background-color: green;
	color: green;
}

#navbar a { text-decoration: none; }
#navbar a:link { color: white; }
#navbar a:visited { color: #00a0a0; }
#navbar a:hover { color: #00ffff; }

#PageHeader
{
	background-color: gray;
	border-top: 1px solid red;
	border-bottom: 1px solid red;
	font-family: monospace;
}

.navmenu
{
	list-style-type: none;
	padding-left: 0;		/* NN uses padding for indenting hrs */
	margin-left: 0;			/* IE uses margin */
}

#textbody
{
	float: left;
	width: 70%;
	padding-left: 0.5em;
}

#footer
{
	text-align: center;
	font-family: sans-serif;
	font-size: smaller;
}

/*
 * Styles for the table that holds options
 */
table.OptionTable
{
	font-family: sans-serif;
	border: 1px blue solid;
}

table.OptionTable th
{
	font-family: sans-serif;
	background-color: gray;
}

table.OptionTable td
{
	vertical-align: top;
	font-family: sans-serif;
	font-size: smaller;
}