body { 
	font-size: 10pt;
	font-family: Arial, Helvetica, Chicago, sans-serif;
	font-weight: normal;
	background: white;
}

h1 {
	font-size: 10pt;
	font-family: Arial, Helvetica, Chicago, sans-serif;
	font-weight: bold;
	color: black;
	background: #e5e5e5;
	padding: 0.4em 0.5em;
	margin: 0;
	border-bottom: 1px solid #aaa;
}

h2 {
        font-size: 10pt;
	font-family: Arial, Helvetica, Chicago, sans-serif;
	font-weight: bold;
	font-style: italic;
	padding: 0.4em 0.5em;
	margin: 0;
}

p {
	font-size: 10pt;
	font-family: Arial, Helvetica, Chicago, sans-serif;
	font-weight: normal;
	color: black;
	padding: 0.4em 0.5em;
	margin: 0;
}

pre {
	padding: 0.4em 0.5em;
	margin: 0;
}

a, a:link, a:visited, a:active, a:hover {
	font-weight: bold;
	text-decoration: none;
	color: black;
}

div#main {
 	margin-left: auto;
	margin-right: auto;
	margin-top: 0;
	margin-bottom: 0;
	padding: 0;
	width: 50em;
}

div#nav {
	margin: 0;
	padding: 0;
	float: left;
	width: 8em;
}

div#nav ul {
	margin: 0;
	padding: 0;
	background: #e5e5e5;
}

div#nav ul li {
	list-style: none;
	margin-left: 0;
	padding: 0.4em 0.5em;
	background: #f5f5ff;
	border-top: 1px solid #aaa;
	border-left: 1px solid #aaa;
	border-right: 1px solid #aaa;
	border-bottom: none;
}

div#nav ul li.sel {
	background: #e5e5e5;
}

div#nav ul li.lang {
	border: 1px solid #aaa;
}

div#contents {
	margin-left: 9em;
}

div.section {
	margin: 0;
	background: #f5f5ff;
	margin-bottom: 1em;
	border: 1px solid #aaa;
}

div#footer {
	margin-left: auto;
	margin-right: auto;
	margin-top: 0;
	margin-bottom: 0;
	padding: 0;
	width: 50em;
}

div#footer p {
	font-size: 8pt; 
	font-weight: normal;
	margin-left: 12em;
	width: 50em;
	text-align: center;
}