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, .colorblue {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: 12px;}

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

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

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

a[rel="external"]{
	background-image: url('/math/images/external.png');
	background-repeat:no-repeat;
	background-position:bottom right;
	padding-right:11px;
}

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

ol.sublist {
	list-style-type: lower-alpha;
	padding: 10px 10px 10px 18px;
}

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;;
}
.right{
	float:right;
	padding:5px;
	margin:5px;
}
.left{ 
	float:left;
	padding-right:10px;
	margin-right:10px;
}
.mathleft{
	text-align: left;
}

.narrow {
	text-align: left;
	width: 30%;
}

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

div#topbanner {display: inline}

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#warning {
	font-family: "Times New Roman", Times, serif;
	font-size: small;
	font-variant: small-caps;
	color: #FF0000;
	margin: auto;
	padding:0.8em;
	text-align: center;
	background-color: #FFFFCC;
	border:1px solid #333399;
}

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

div#content {
	width: 685px;
	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%;}

.infobox{
	padding: 5px 5px 5px 5px;
	margin: 5px 5px 5px 5px;
	border:2px solid #333399;
	text-align:center;
	background-position: center; 
}
.codebox{
	padding: 5px 5px 5px 40px;
	margin: 5px;
	border:2px dotted #999999;
	background-position: center;
	font-family: "Courier New", Courier, mono;
	background-image: url(images/codebox.png);
	background-repeat: repeat;
}
.codebox p{
	line-height: 15px;
}
.underconstruction{
	padding: 5px 5px 5px 5px;
	margin: 5px 5px 5px 5px;
	border:2px solid #333399;;;
	text-align:center;
	background-position: center;
	font-size: x-large;
	color: #333399;
	text-decoration: blink;
	font-family: Georgia, "Times New Roman", Times, serif;
	background-color: #FFFFCC;
	font-style: italic;
}

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;
	font-size: 80%;
	line-height: 50%;
}

.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} 

.printimage {
	display: none;
}