xhtml11.css

html { font-family: sans-serif; }


div#content, div#header
{
	width: 80%;
	margin-left: auto; margin-right: auto;
}


h1 { color: #9e8100; font-size: 1.4em }
h2 { color: #9e8100; font-size: 1.3em }
h3 { color: #9e8100; font-size: 1.2em }
h4 { color: #9e8100; font-size: 1.1em }
h5 { color: #9e8100; font-size: 1.0em }
h6 { color: #9e8100; font-size: 0.9em }


a:link, a:visited
{
	color: #9e8100;
	text-decoration: none;
}

a:hover
{
	color: #a40000;
	text-decoration: underline;
}


div#toc
{
	width: 30%; float: left;
	margin-bottom: 10px; margin-right: 20px;
	padding-top: 10px; padding-bottom: 10px;
	padding-left: 1em;
	background-color: #eeeeef;
	font-size: 10pt;
	position: static;
	border-radius: 20px;
	-moz-border-radius: 20px;
	-webkit-border-radius: 20px;
	overflow: hidden;
}


div.toclevel1
{
	margin-top: 1em;
	padding-left: 10px;
}

div.toclevel2
{
	margin-left: 2em;
	padding-left: 10px;
}

div.toclevel3
{
	margin-left: 4em;
	padding-left: 10px;
}