body{
	background: #fff;
	font: normal 1.0em Arial, sans-serif;
	margin: 0px;
	padding: 0px;
}

h1, h2, h3{
	margin: 0px;
	padding: 0px;
}

div{
	text-align: left;
	margin-bottom: 2.0em;
}

div#header{
	margin: 0px;
	padding: 2.0em;
	background-color: #e0e0ff;
	border-bottom: 4px solid #cce;
}

div#main{
	padding: 2.0em;
}

div#footer{
	margin-top: 0.5em;
	margin-bottom: 0.0em;
}

div#contact{
	margin-top: 0.0em;
	margin-bottom: 0.0em;
}

div#topnav, div#bottomnav{
	background-color: #efefff;
	border: 1px solid #cce;
	padding: 1.0em;
}

div#bottomnav{
	margin-bottom: 0.0em;
}

div#topnav h2{
	margin-top: 0.5em;
}

div#subnav{
	margin-top: 1.0em;
	margin-bottom: 0.0em;
}

/*
div#subnav:before{
	content: "Sections: ";
}
*/

div#topnav span, div#bottomnav span{
	margin-right: 1.0em;
}

div.example{
	background-color: #f3f3f3;
	border: 1px solid #d0d0d0;
	padding-left: 1.0em;
	padding-right: 1.0em;
	margin-bottom: 0.0em;
}

span.important, span.tip{
	color: #d00;
	font-weight: bold;
}

img.example{
	border: 1px solid black;
}

span.keys{
	color: green;
	font-weight: bold;
}

span.menu{
	font-weight: bold;
	font-style: italic;
}

h2 a:hover{
	color: black;
	text-decoration: none;
}

a{
	text-decoration: none;
}

a:visited{
	color: blue;
}

a:hover, a:hover:visited{
	color: #d40;
	text-decoration: underline;
}

a img{
	border: 0px;
}

ul#index{
	margin: 0px;
	padding: 0px;
}

ul#index li{
	list-style-type: none;
	margin: 0.5em 0.0em;
}

ul#index li#first{
	margin-top: 0.0em;
}

pre{
	font: normal 1.0em Monospace, sans-serif;
	background-color: #f3f3f3;
	border: 1px dashed #d0d0d0;
	padding: 1.0em;
	margin-bottom: 0.0em;
	overflow: auto;
}

table.menu{
	border-collapse: collapse;
}

table.menu th{
	margin: 0px 0px 0px 0px;
}

table.menu th.name{
	font: normal 10pt Tahoma, sans-serif;
	text-align: left;
	background: #d4d0c8;
	border-bottom: 1px solid #fff;
	padding: 4px 24px 4px 4px;
}

table.menu td{
	margin: 0px 0px 0px 0px;
	padding: 0px 0px 0px 20px;
}

table.menu td.item{
	font: normal 10pt Tahoma, sans-serif;
	background: #d4d0c8;
	border-right: 1px solid #808080;
	padding: 4px 24px 4px 20px;
}

table.menu td.last{
	border-bottom: 1px solid #404040;
	height: 0px;
}

table.menu td.separator{
	border-top: 1px solid #808080;
	border-bottom: 1px solid #fff;
	height: 0px;
}

p.publication{
	background-color: #f3f3f3;
	border: 1px solid #d0d0d0;
	padding: 1.0em;
	width: 50%;
}