body
{
color: #000000; 
background-color: #FFFFFF; 
font-family: Verdana; 
font-size: 8pt; 
margin:0; 
}

.menu
{
border: solid black 1px;
font-weight: normal;
background-color: #DDDDDD;
color: #000000;
float: left;
padding: 5px;
margin: 5px;
margin-right: 20px;
width: 10%;
text-align: center;
}

a
{
color: #000000;
}

.menuitem
{
font-weight: normal;
color: #000000;
text-decoration: underline;
}

.menuspacer
{
font-weight: normal;
color: #000000;
text-decoration: none;
}

.menuselected
{
font-weight: bold;
color: #000000;
text-decoration: underline;
}

.headingwrapper
{
text-align: center;
}
.heading
{
width: 50%;
border: solid black 1px;
background-color: #DDDDDD;
margin-left: auto;
margin-right: auto;
font-size: 2em;
padding: 5px;
margin-bottom: 20px;
text-align: center;
}

.contentscentered
{
width: 100%;
margin-left: auto;
margin-right: auto;
padding: 5px;
text-align: left;
}

.contentsright
{
width: 100%;
margin-left: auto;
margin-right: auto;
padding: 0px;
text-align: right;
}

.footer
{
position: fixed;
bottom: 0%;
left: 10%;
width: 80%;
border: solid black 1px;
background-color: #DDDDDD;
margin-left: auto;
margin-right: auto;
text-align: center;
}

.contents
{
float: left;
width: 75%;
}

.title
{
	font-weight: bold;
	font-size: 1.1em;
	padding-left: 5%;
}

.desc
{
}

.links
{
	font-weight: bold;
	font-style: italic;
	font-size: 1.1em;
	padding-left: 5%;
	padding-top: 1em;
}
.desc .links
{
	padding-left: 10%;
}

.desc .desc
{
	padding-left: 5%;
}
ul
{
	padding: 0px;
	padding-left: 10%;
	margin-top: 0px;
}
.code
{
	border: 1px dashed black;
	background-color: #EEEEEE;
	padding-left: 1em;
}
dl
{
	padding-left: 10%;
}