/* Style Definitions */

/* 09828d */

body
{
	width: 90%;
	margin-left: 5%;
	max-width: 800px;
	font-family: Arial, sans-serif;
	background-color: white;
}

div#header
{
}

div#leftnav
{
	margin-right: 1em;
/*	width: 200px;*/
/*	line-height: 0px;*/
	float: left;
	border: none;
	padding: 0px;
}

div#leftnav a img
{
	border: none;
}

div.menu
{
	/*background-color: #09828d;*/
	width: 198px;
	height: 28px;
	color: white;
	text-align: right;
	font-weight: bold;
	text-decoration: none;
	text-shadow: #000000 3px 3px 3px;
	/* padding: top right bottom left */
	padding: 1px 8px 1px 0px;
	/* margin: top right bottom left */
	margin: 2px 0px 2px 0px;
	background-color: transparent;
	background-image: url(images/button.gif);
	background-repeat: no-repeat;
	background-attachment: scroll;
	/*background-position: 50% 10%;*/
	background-position: left bottom;
}

div.menu p
{
	/* This is a hack to get IE rendering somewhere close to properly. */
	vertical-align: bottom;
}

div.menu p a:link
{
	color: white;
	text-decoration: none;
}

div.menu p a:visited
{
	color: white;
	text-decoration: none;
}

div.menu p a:hover
{
	text-decoration: none;
	color: black;
	background-color: white;
}

div#content
{
	margin-left: 250px;
}

div.illustration
{
	font-family: Arial, sans-serif;
	font-style: italic;
	font-size: smaller;
}

div.illustration img
{
	float: right;
}

p
{
	font-family: Arial, sans-serif;
}

.address
{
	font-weight: Bold;
}

p#toc a:link, p#toc a:visited
{
	font-weight: bold;
	color: #008080;
}

h1
{
	font-size: 18pt;
	font-weight: bold;
	color: #008080;
}

h2
{
	font-size: 14pt;
	font-weight: bold;
	color: #008080;
}

div.jump_to_top
{
	font-size: smaller;
	text-align: center;
}

div.jump_to_top a:link, div.jump_to_top a:visited
{
	color: #008080;	
}

ul li
{
	margin-bottom: 1em;
}

ol li
{
	margin-bottom: 1em;
}