body { 
	margin: 5px 5px 5px 5px;
	font-family: sans-serif;
	background: rgb(255,255,255);
	color: black;
}
body.nav { 
	margin: 5px 5px 5px 5px;
	font-family: sans-serif;
	background: rgb(255,255,255);
	background-image: url(/images/blue-bg.jpg);
	color: rgb(0,0,41);
}
h1 {
	margin-top: 0.1em;
	margin-bottom: 0.2em;
	font-size: x-large;
	text-align: center;
}
h2 {
	margin-top: 0.05em;
	margin-bottom: 0.1em;
	font-size: large;
	text-align: center;
}
div.menu-section {
	background: rgb(204,204,255);
	border-style: solid;
	border-width: 2px;
	border-color: black;
	padding: 0.3em;
	width: 11em;
}
div.bullet-section {
	background: rgb(204,204,255);
	border-style: solid;
	border-width: 1px;
	border-color: black;
	padding: 0.1em;
}
div.nav-section {
	background: rgb(204,204,255);
	border-style: solid;
	border-width: 1px;
	border-color: black;
	padding: 0.2em;
	width: 95%;
}
span.menu-head {
	text-align: center;
	font-weight: bold;
	margin-bottom: 0.1em;
}
li.menu-item {
	list-style: outside;
	background: rgb(224,224,255);
	color: blue;
	list-style-type: disc;
}
pre { color: green; font-weight: bold; }
em { font-style: italic; font-weight: bold; }
strong { text-transform: uppercase; font-weight: bold; }