body {
	font-family: Helvetica, Verdana, Arial, sans-serif;
	margin-top: 1em;
	margin-right: 1em;
	margin-left: 10em;
	background-color: white;
	color: black;
	font-size: 1em;
}

p {
	text-align:justify;
}

#navigation {
	position: absolute;
	left: 1em;
	top: 1.2em;
	width: 8em;
	border: thin black solid;
	padding: 0.2em;
	padding-bottom: 0.3em;
}
#navigation a:first-child { margin-top:1em; }
#navigation a {
	display: block;
	width: 8em;
	padding: 1px 0 1px 10px;
	background-color: transparent;
}
#navigation a.newsection { margin-top: 1em; }
#navigation span.hidden { display:none; }



#main {
	display:block;
	margin-left: 2em;
}

.block {
	display: block;
	border-style: solid;
	border-width: thin;
	border-color: black;
	padding-left: 1em;
	padding-right: 1em;
}

#footer {
	display: block;
	border-top: 1px solid rgb(132,130,132);
	margin-top: 2em;
	font-size: 0.8em;
}

.indentation {
	display:block;
	margin-left: 2em;
}

a.external:before {
	content: ">"
}

span.title {
	font-weight: bold;
}

span.date, q, blockquote {
	font-style: italic;
	font-weight: bold;
}

blockquote p:before { content: "\""; }
blockquote p:after { content: "\""; }

a:hover {
	text-decoration: none;
}

a {
	color: maroon;
	background-color: white;
}

abbr, acronym {
	font-style: italic;
	color: maroon;
	background-color: white;
}

a:visited {
	color: black;
	background-color: white;
}

h1,h2,h3,dt {
	color: #000099;
}

h1 {
	background-color: #F0F0F0;
	padding: 0.2em;
	border-bottom: 0.1em solid black;
	font-size: 150%;
}

h2 {
	padding: 0.2em;
	font-size: 130%;
	background-color: white;
	margin-left: -1.7em;
}

h3 { 	margin-left: -1em; }

h3,dt {
	font-weight: bold;
	background-color: white;
}

dt {
	margin-top: 1em;
}

img {
	border: 0;
}

table {
	empty-cells: show;
	border-collapse: collapse;
}

th,td {
	vertical-align: top;
}

th {
	font-weight: bold;
	width: 10em;
}

hr {
	width: 80%;
}

input.standard,textarea.standard {
	width: 20em;
}

textarea.standard {
	height: 10em;
}

code {
	margin-top: 1em;
	margin-bottom: 1em;
	padding: 0.5em;
	color: black;
	background-color: #c0c0c0;
	display:block;
	white-space: pre;
}

.big {
	font-size: 150%;
	font-weight: bold;
}

.warning {
	color: red;
}

/* presentation navigation */
div.presnavi {
	display: block !important;
	text-align: left;
}

div.presnavi hr {
	display: none;
}