body {
	background-color: #FFFFFF;
	font-family: Arial, Helvetica, sans-serif;
	font-size: 80%;
	}

a.menu:active, a.menu:link, a.menu:visited {
	color: White;
	}

table.index {
	width: 100%;
}
	
td.text {
	background-color: #FFFFFF;
}
	
.note {
	font-style: italic;
	font-size: 100%;
}

td.exhead_lg {
	font-size: 140%;
	font-weight: bold;
}

td.exhead_sm {
	font-size: 130%;
	font-weight: bold;
}

.header {
	font-size: 140%;
	font-weight: bold;
}

td.object {
	text-align: center;
	vertical-align: middle;
}

td.menu {
	background-color: #00732f;
	text-align: center;
	color: White;
	vertical-align: middle;
	font-size: x-large;
	}

.subheader {
	font-size: 120%;
	font-weight: bold;
}

table.example {
	vertical-align: middle;
	width: 500px;
	font-size: 105%;
}

table.text {
	width: 75%;
	font-size: 105%;
}

table.menu {
	background-color: #00732f;
	text-align: center;
	width: 75%;
	color: White;
	font-size: 130%;
}

.alg {
	font-size: larger;
	font-weight: bold;
}