div, body, .bl, .br, .tl, .tr {margin:0;padding:0;}

body, table{
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #333333;
}

body{ text-align: center;}

p {
	line-height: 24px;
}
h1 {
	font-size: 22px;
	font-family: Georgia, "Times New Roman", Times, serif;
}
h2 {font-size: 16px;}
h3 {font-size: 14px;}

h1, h2, h3, .references, hr, dt {color: #333399;}

ul{ list-style-type: square;}

li{ padding-top: 7px; padding-bottom: 7px}

cite {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-style: italic;
	font-size:16px;
}

var {
	font-family: "Times New Roman", "Apple Symbols","Arial Unicode MS";
	font-size: 14px;
	font-style: italic;
}

code {font-size: 14px;}

sub, sup {font-size: 80%;}

a:link, a:visited, a:active {color: #990000; text-decoration: none;}

a:hover {color: #333399;text-decoration: none;}

li.nolink { color: #FFFFFF; background-color: #990000;}

html, body, div#wrap {height: 100%;}

body > div#wrap {height: auto; min-height: 100%;}

.outercenter{
	text-align:center;
	background-position: center;
}
.innercenter{
	margin:auto;
	text-align:center;
	background-position: center;
}
.outerright{
	text-align:right;
}
.innerright{
	margin:auto;
	text-align:right;;
}

div#main {padding-bottom: 90px;}

div#footer {
	margin-top: -90px;
	height: 90px;
	clear:both;
	text-align: center;
	background-color: #990000;
	color: #FFFFFF;
} 

div#footer a:link, div#footer a:visited, div#footer a:active {
	color: #FFFFFF;
	text-decoration: underline;
}
div#footer a:hover {color: #333399; text-decoration: underline;}

div#topnav { border:1px solid #333399; line-height:3.2em;}

div#topnav ul { margin:0; padding:0;}

div#topnav li {
	display:inline;
	padding:0.8em;
	margin:0;
}

div#contentcontainer {
	width: 850px;
	margin: auto;
	text-align: left;
	height: auto;
}

div#content {
	width: 635px;
	padding: 10px 5px 10px 5px;	
	height: 100%;
	float: left
}

div#sidenav { width: 195px; float: right; text-align: right; font-size: 90%;}
div#sidenav p {font-size: 10px; line-height: 12px; color: #333399;}
div#sidenav h1{font-size: 12px; color: #333399;}

div#sidenav var {font-size: 90%;}

div#box1 {padding: 0px; position:absolute; right: 0px; bottom: 45px; z-index:2;}

/* CLEAR FIX*/
.clearfix:after {content: ".";
	display: block;
	height: 0;
	clear: both;
	visibility: hidden;}
.clearfix {display: inline-block;}
/* Hides from IE-mac \*/
* html .clearfix { height: 1%;}
.clearfix {display: block;}
/* End hide from IE-mac */

.references {text-align: right;}

.definition {background: url(images/definition.gif) 100% 100% no-repeat}
.proof {background: url(images/proof.gif) 100% 100% no-repeat}

.withborder { border:2px solid #333399;}

.blpink {background: url(images/lb.gif) 0 100% no-repeat #FFCC99}
.blpurple {background:url(images/lb.gif) 0 100% no-repeat  #CC9999 }
.blblue {background: url(images/lb.gif) 0 100% no-repeat #99CCCC}
.blgray {background: url(images/lb.gif) 0 100% no-repeat #CCCCCC}
.br {background: url(images/rb.gif) 100% 100% no-repeat}
.tl {background: url(images/lt.gif) 0 0 no-repeat; }
.tr {background: url(images/rt.gif) 100% 0 no-repeat; padding: 8px;}
.clear {font-size: 2px; height: 2px}