/* $Id$ */

body {
	background: #FFFFFF;
	color: #000000;
	margin: 1em 1em 1em 1em;
	padding: 0;
}

div.topbar {
	margin: 0;
}

div.topbar div.langs {
	float: right;
	text-align: right;
}

a > img {
	border: solid 1px #000000;
}

img.noborder {
	border: none;
}

div.main {
	background: #FFFFFF;
	/* margin: 0 1em 2ex 12em; */ /* top right bottom left */
	margin: 0 0 1em 12em;
	border: solid 2px #800000;
	padding: 0.5em 0.5em 0.5em 0.5em;
}

div.main h1 {
	font-family: sans-serif;
}

div.main h2 {
	font-family: sans-serif;
}

h2.boxtitle {
	padding: 0.3ex;
	background: #FFE0B0;
	border: solid 1px #FFB070;
}

div.boxwarn {
	padding: 1ex;
	color: #0000A0;
	background: #FFC0E0;
	border: solid 1px #FF80B0;
}

div.nav {
	background: #F0F0F0;
	float: left;
	width: 10em;
	margin: 0;
	border: solid 2px #000000;
	padding: 0.5em 0.5em 0.5em 0.5em;
}

div.nav ul {
	font-family: sans-serif;
	font-size: 80%;
}

div.nav h1 {
	font-family: sans-serif;
	font-size: 90%;
}

ul.navmenu, ul.navtree {
	padding-left: 0.7em;
	list-style: none;
	margin: 0;
}

ul.navmenu a.here {
	font-weight: bold;
	background: #E0E0E0;
	border: solid 1px #D0D0D0;
}

ul.nodecorate {
	list-style-type: none;
	margin-left: 1em;
}

ul.nodecorate > li {
	margin-bottom: 2ex;
}

a:link {
	text-decoration: none;
	color: #C00000;
}

a:visited {
	text-decoration: none;
	color: #FF4000;
}

a:link:hover, a:visited:hover {
	color: #FFC000;
}

p {
	text-align: justify;
	text-indent: 0;
}

pre.code {
	background: #FFFFA0;
	padding: 1em 1em 1em 3em;
	border: solid 1px #FFD060;
}

pre.text {
	padding: 1em 1em 1em 3em;
}

div.bottom {
	background: #C0C0C0;
	margin: 0 0 0 12em;
	border: solid 2px #808080;
	padding: 0.5em 0.5em 0.5em 0.5em;
}

div.bottom div {
	font-family: sans-serif;
	font-size: 80%;
}

div.invisible {
	display: none;
}

@media screen {
	body {
		background: #E0E0E0;
	}
}