body
{
	margin: 0px;
	font-size: small;
	font-family: Geneva, Arial, Helvetica, sans-serif;
}

#nav_top
{
	color: white;
	background-color: rgb(100,135,220);
	border-bottom: thin grey solid;
}

#nav_top a:link, #nav_top a:visited { color: #ddd; }
#nav_top a:hover { color: #fff; }

#nav_top ul
{
	margin: 0px;
	padding: 10px;
	background-color: rgb(100,135,220);
}

#nav_top ul li.left
{
	float: left;
	list-style-type: none;
	font-size: 1.2em;
}

#nav_top ul li.right
{
	float: right;
	list-style-type: none;
	padding-right: 3px;
	padding-left: 3px;
}

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

#prereqs p { font-weight: bold; }

#main
{
	padding: 0px 10px 10px 10px;
	line-height: 1.6em;
}

#main h1 { line-height: 1.1em; }
#main code, 
#main pre, 
#main kbd, 
#main tt { font-family: "Courier New", Courier, monospace; }
#main code, 
#main kbd, 
#main tt { font-size: 1.1em; }
#main kbd { font-weight: bold; }
#main pre { font-size: 1.0em; }
#main pre kbd { font-size: 1.0em; }

#main pre
{
	line-height: 1.2em;
	border: thin solid grey;
	background-color: #efefef;
	padding: 5px;
	margin-left: 10px;
	margin-right: 10px;
}

#main kbd var
{
	font-size: 1.0em;
	font-family: "Courier New", Courier, monospace;
}

#main code var
{
	font-size: 1.0em;
	font-family: "Courier New", Courier, monospace;
}

#main var
{
	font-family: "Times New Roman", Times, serif;
	font-size: 1.2em;
}

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

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

#main td code { font-size: small; }

#main table.EqnTbl
{
	border-collapse: separate;
	border-style: none;
	margin-left: auto;
	margin-right: auto;
}

#main td.EqnTbl
{
	border-style: none;
	font-family: "Times New Roman", Times, serif;
	font-style: italic;
	font-size: medium;
	padding: 0px;
}

#summary { padding: 0px 10px 10px 10px; }

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

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

#summary td code { font-size: 1.3em; }

#nav_bot
{
	text-align: center;
	padding: 10px 0px 10px 0px;
	border-top: thin grey solid;
	border-bottom: thin grey solid;
	color: white;
	background-color: rgb(100,135,220);
}

#nav_bot a:link, #nav_bot a:visited { color: #ddd; }
#nav_bot a:hover { color: #fff; }

#footer
{
	font-size: 75%;
	text-align: center;
	line-height: normal;
	margin-top: 5px;
	padding-bottom: 3px;
	border-bottom: thin grey solid;
}

img.eqn
{
	display: block;
	margin-left: auto;
	margin-right: auto;
}

img.inlineqn
{
vertical-align: -6px;
}

img.floatright { float: right; }

div.exercise
{
	border: thin gray solid;
	padding: 0px 10px 0px 10px;
	margin-left: 10px;
	margin-right: 10px;
	background-color: #DBEAFF;
}

div.exercise h1 { font-size: 1.3em; }
#main
{
	padding: 0px 10px 10px 10px;
	line-height: 1.6em;
}

div.footnotes {
	padding: 0px 10px 10px 10px;	
}
#footnotes kbd {
    font-weight: bold; 
    font-size: 1.3em;
}

#footnotes code {
    font-size: 1.4em;
}