/* 
 * $Id: anto.css,v 1.27 2007/07/08 14:29:45 carzanig Exp carzanig $ 
 */
html, div {
	margin: 0;
}

body {	
	background-color: #f0f0e0; 
	color: black; 
	font-family: Helvetica, sans-serif; 
	font-weight: normal;
	font-size: medium;
	list-style: outside;
	margin: 0;
}

.quotation {
	text-align: right;
}

.normaltext {
	margin-left: 10px;
	margin-right: 10px;
	font-weight: normal;
	font-size: medium;
}

.footnote {
	font-size: small;
}

.bottomnavbar {
	text-align: left;
	background-color: #e0e0c0; 
	margin-top: 10px;
	margin-bottom: 0;
	margin-left: 0;
	margin-right: 0;
	padding-left: 10px;
	padding-right: 10px;
	font-size: small;
}

.topnavbar {
	text-align: right;
	background-color: #e0e0c0; 
	border: 0;
	margin: 0;
	padding: 0;
	font-size: small;
}

.docinfo { 
 	margin: 0;
	border-width: 0;
	padding: 2px 10px 2px 10px;
	font-size: x-small;
	text-align: right; 
	background-color: #c0c0b0; 
}

.headline { 
	margin: 0;
	border: 0;
	padding: 0 10px 0 10px;
	text-align: right; 
	background-color: #c0c0b0; 
}
.subheadline { 
	margin: 0;
	border: 0;
	padding: 0 10px 0 10px;
	text-align: left; 
	background-color: #e0e0c0;
}

.leftimg {
	margin-left: 0px;
	margin-right: 10px;
	float: left;
}

.menuitem:hover {
	background-color: #f0f0e0;
	text-decoration: none;
}

a:link { 
	color: #603000;
	text-decoration: none;
	font-weight: bold; 
} 
a:visited { 
	color: #603010; 
	text-decoration: none;
	font-weight: bold; 
}
a:hover {
	text-decoration: underline;
	font-weight: bold; 
}

b { 
	font-weight: bold; 
}

em {
	font-style: oblique;
}

h1 {    
	margin: 0;
	border: 0;
	text-align: right; 
	font-size: x-large;
	font-weight: bold; 
	font-style: oblique; 
}
h2 { 
	font-size: x-large; 
	font-weight: bold;
	margin: 0;
	border: 0;
}
h3 { 
	font-size: large;
	font-weight: bold;
	margin-top: .5em;
	margin-bottom: .5em;
}
h4 { 
	font-size: large;
	font-weight: normal; 
	margin-top: .5em;
	margin-bottom: .5em;
}
sup {
	font-size: x-small;
} 
sub {
	font-size: x-small;
} 

.ad {
	float: none;
	clear: both;
	padding: 0;
	border-width: 0;
	text-align: right;
	width: 70%;
	margin-bottom: 15px;
	margin-top: 5px;
	margin-left: 15%;
}

.adbody {
	clear: both;
	text-align: left;
	margin-left: 0;
	margin-right: 0;
	margin-bottom: 5px;
	padding-top: .2em; 
	padding-bottom: .2em; 
	padding-left: .5em; 
	padding-right: .5em; 
	border-width: 1px;
	border-style: solid;
	border-color: #a08030;
	background-color: #e0e0c0; 
}

.adtitle {
	clear: both;
	width: auto;
	padding-left: 10px;
	padding-right: 10px;
	margin: 0;
	text-align: center; 
	font-weight: bold; 
	font-size: small;
	color: white;
	background-color: #a08030;
	border-width: 0;
	border-style: solid;
	border-color: #a08030;
}

.linkstable {
	float: right;
	clear: right;
	width: 30%;
	margin-left: 5px;
	border-style: solid;
	border-color: #a08030;
	border-width: 1px;
	background-color: #e0e0c0; 
}

.inline_ad {
	float: none;
	border-style: solid;
	border-color: #0000a0;
	border-bottom-width: 1px;
	border-top-width: 1px;
	border-right-width: 20px;
	border-left-width: 20px;
	background-color: #ffffff;
	width: 70%;
	text-align: center;
	margin-bottom: 5px;
	margin-top: 5px;
	margin-right: 10%;
	margin-left: 10%;
	padding-left: 10px; 
	padding-right: 10px; 
	padding-bottom: 2px; 
	padding-top: 2px; 
	clear: both;
}

ul.links {
	margin-left: 1.5em;
	padding-left: 0; 
	padding-right: 4px; 
	padding-bottom: 0; 
	padding-top: 0; 
	text-decoration: none;
	text-align: left; 
	font-weight: normal; 
}

.linkstitle {
	border-width: 0;
	text-align: center; 
	font-weight: bold; 
	font-size: small;
	color: white;
	background-color: #a08030;
}

.menu {
	background-color: #e0e0c0;
	padding: 0 10px 0 10px;
	border: 0;
	clear: both;
}

.menuitem {
	color: gray;
	font-weight: bold;
	padding-right: 4px;
	padding-left: 4px;
	border-bottom-width: 2px;
	border-top-width: 0;
	border-right-width: 2px;
	border-left-width: 2px;
	border-style: solid;
	border-color: #c0c0b0;
	margin-right: 0px;
	margin-left: -5px;
}

.menucurrentitem {
	color: gray;
	font-weight: bold;
	padding-right: 4px;
	padding-left: 4px;
	border-bottom-width: 2px;
	border-top-width: 0;
	border-right-width: 2px;
	border-left-width: 2px;
	border-style: solid;
	border-color: #c0c0b0;
	background-color: #c0c0b0;
	margin-right: 0px;
	margin-left: -5px;
}

.paperlinks {
	background-color: #eeeecc; 
	font-size: small;
	text-align: right; 
	padding: 0; 
	margin: 0;
}

.sect {
	margin-bottom: .5em;
	margin-top: .5em;
	border: 1px solid black;
	padding: 5px;
	text-decoration: none;
}

ul.lectures {
	padding-left: 0px;
	list-style: none;
}

li.lecture {
	margin-top: .5em;
	margin-bottom: .5em;
	margin-left: 0;
	border: 1px solid black;
	padding: 5px;
}

code { 
	font-family: monospace; 
}
pre { 
	font-family: monospace; 
	margin-left: 2em; 
}
dt, dd, ul { 
	margin-top: 0; 
	margin-bottom: 0; 
}
dt { 
	font-weight: bold; 
}