body
{
	font-size: 11pt;
	font-family: "Times New Roman", Times, serif;
}

#nav_top
{
display: none;
}

#prereqs
{
	margin: 5px 5px 5px 5px;
	padding: 5px;
	border: thin black solid;
	float: right;
	background-color: #E0E0E0;
}

#main code, pre, kbd, tt
{
	font-family: "Courier New", Courier, monospace;
}

#main kbd { font-weight: bold; }

#main pre
{
	padding: 5px 5px 5px 5px;§
	border: thin solid grey;
	background-color: #efefef;
}

#main table
{
	border: thin solid black;
	border-collapse: collapse;
}

#main td, #main th
{
	border: thin grey solid;
	padding: 5px;
}

#summary table
{
	border: thin solid black;
	border-collapse: collapse;
}
#summary td, #summary th
{
	border: thin grey solid;
	padding: 5px;
	font-size: 0.95em;
}

#nav_bot
{
	display: none;
}

#footer
{
	font-size: 80%;
	text-align: center;
	line-height: normal;
	margin-top: 5px;
	padding-top: 3px;
	padding-bottom: 3px;
	border-bottom: thin grey solid;
	border-top: thin grey solid;
}
img.eqn {display: block;
    margin-left: auto;
    margin-right: auto; }
div.exercise
{
	border: thin gray solid;
	padding: 0px 10px 0px 10px;
		margin-left: 10px;
	margin-right: 10px;
}
div.exercise h1
{
	font-size: 1.3em;
}