body
{
	font-family: "Helvetica", "Arial", "sans-serif";
	background-color: #000;
}

#container
{
	width: 90%;
	margin: 10px auto;
	background-color: #FFF;
	color: #333;
	border: 1px solid gray;
	line-height: 130%;
}

#top
{
	padding: .5em;
	background-color: #000;
	border-bottom: 1px solid gray;
	height: 80px
}

#top h1
{
	margin: 0;
	padding: 10px 0 10px 10px;
	font-size: 40px;
	color: #FFF;
}

#top p
{
	margin: 0;
	padding: 0 0 0 10px;
	color: #FFF;
	font-size: 20px;
}

#leftnav
{
	float: left;
	width: 170px;
	margin: 0;
	padding: 0;
}

#leftnav h1
{
	background-color: #666;
	color: #FFF;
	font-weight: bold;
	font-size: 100%;
	margin: 4px 0 0 0;
	padding: 0 .5em;
}

#leftnav p 
{
	margin: 0;
	padding: 0 1em;
	color: #333;
	background-color: #FFF;
}

#leftnav p.selected
{
	margin: 0;
	padding: 0 1em;
	color: #333;
	background-color: #FFF;
	font-weight: bold;
}

#leftnav p.ad
{
	margin: 0;
	padding: 2px 0;
	color: #333;
	background-color: #FFF;
	text-align: center;
}

#content
{
	margin-left: 170px;
	border-left: 1px solid gray;
	padding: 1em;
	max-width: 45em;
}

#content h1,h2,h3,h4
{ 
	margin: 0 0 .5em 0;
}

#content pre.edged
{
	border: 1pt dashed black;
	white-space: pre;
	overflow: auto;
	padding: .5em 0;
}

#content p.stats
{
	text-align: right;
	font-size: 80%;
	font-style: italic;
	color: #666;
	margin: 0;
	padding: 0;
}

#footer
{
	clear: both;
	margin: 0;
	padding: .5em;
	color: #DDD;
	background-color: #000;
	border-top: 1px solid gray;
}