body {
	margin:0px;
	padding:0px;
	color:#000;
	font-family: times new roman;
}
#main {
	float:left;
	width:90%;
}
dl dt {
	font-size:125%;
        margin-top:2ex;
        margin-left:1em
}

#image {
	float:right;
	width:10%;
}
dl#news dt {
        margin-top:2ex;
        margin-left:1em
}
#content dt {
        margin-top:2ex;
        margin-left:1em
}

#nav dd {
	margin-left:1em;
}


#header {
	padding-top:10px;
	padding-bottom:5px;
	color:inherit;
	background-color:#db9;
	border-bottom:1px solid black;
}

h1 {
	float:right;
	width:80%;
	margin:0px;
	margin-top:10px;
	padding:0px;
	text-align:left;
}

#latex {
	clear:both;
	background-image:url('img/latex.png');
	background-repeat:no-repeat;
	background-position:bottom left;
	height:30px;
	border-top:1px solid #864;
}

#content, #nav {
	margin-top:20px;
	margin-bottom:20px;
}

#header, #main {
	padding-left:2%;
	padding-right:2%;
}

#breadcrumb {
	border-bottom-style:solid;
}

h1, #content {
	float:right;
	width:79%;
}

.leftcolumn {
        float:left;
        width:47%;
}

.rightcolumn {
        float:right;
        width:47%;
}

#logo, #nav {
	float:left;
	width:19%;
}

#footer {
	clear:both;
	border-top-style:solid;
}

#breadcrumb, #footer {
	padding-top:10px;
	padding-bottom:10px;
	text-align:center;
	border-color:#000;
	border-width:1px;
}

.fineprint {
        clear:both;
	padding-top:20px;
}

#breadcrumb, #footer, #nav, .fineprint {
	font-size:80%;
}

#nav h2 {
        font-size:125%;
        margin-top:2ex;
	padding-top:5px;
	padding-bottom:5px;        
}

dl#news dt {
        margin-top:2ex;
        margin-left:1em
}

img {
	border:0px;
}

ol ol {
	list-style-type:lower-alpha;
}

ol ol ol {
	list-style-type:decimal;
}

#content dt {
        margin-top:2ex;
        margin-left:1em
}

#nav dd {
	margin-left:1em;
}

.example {
	color:inherit;
	background-color:#ddd;
	padding:1em;
	border:1px solid black;
}

.hide {
	display:none;
}