html {
	margin: 0;
	padding: 0;
	border: 0;
	/* css3 */
	overflow-y: scroll;
}

body {
	font-family: sans-serif;
	font-size: 12px;
	color: black;
	background-color: #dddddd;
}

div#container {
	border: 0;
	margin: 5px auto 5px auto;
	padding: 0;
	color: inherit;
	width: 900px;
}

div#title {
	color: #666666;
	background-color: #eeeeee;
	border: solid #cccccc;
	border-width: 1px 1px 0 1px;
	font-size: x-large;
	font-variant: small-caps;
	padding: 5px 10px 5px 10px;
	margin: 0;
}

div#title a {
	color: #666666;
	text-decoration: none;
	outline: none;
}

div#menu {
	/* hack for fixing doubled float-margin in IE5/6 */
	background-color: #eeeeee;
	border-bottom: 1px solid #cccccc;
	border-left: 1px solid #cccccc;
	float: left;
	width: 215px;
	text-align: left;
	font-family: monospace;
	font-size: 10px;
	padding: 5px 0 5px 5px;
	margin: 0;
	position: relative;
	z-index: 1;
}

div#menu a {
	color: #666666;
	text-decoration: none;
	display: block;
	padding: 1px 10px 1px 5px;
	outline: none;
}

div.submenu {
	margin: 0 0 0 12px;
	padding: 0;
}

div.menuentry {
	margin: 0;
}

div.selmenuentry {
	margin: 0;
	background-color: #ffffff;
}

div.menuentry a:hover {
	background-color: #f6f6f6;
}

div.selmenuentry a:hover {
	background-color: #f6f6f6;
}

div#content {
	float: right;
	padding: 5px 10px 5px 10px;
	margin: 0;
	background-color: #ffffff;
	border: 1px solid #cccccc;
	border-width: 0 1px 1px 1px;
	text-align: justify;
	width: 658px;
	margin-left: -1px;
	min-height: 460px;
}


/* fancy!
div#content p {
	text-indent: 1em;
}
*/

div#content blockquote p {
	text-indent: 0;
}

div#content p:first-child  {
	margin-top: 0;
	/*
	text-indent: 0;
	*/
}

div#content h1 {
	color: #444444;
	font-size: x-large;
	border-bottom: 2px #cccccc solid;
}

div#content h2 {
	color: #444444;
	border-bottom: 1px #cccccc dotted;
	font-size: large;
}

div#content h3 {
	color: #444444;
/*	border-bottom: 1px #cccccc dotted; */
	font-size: 12px;
	font-weight: bold;
}

/* avoid using these! */
div#content h4, div#content h5, div#content h6 {
	color: #444444;
/*	border-bottom: 1px #cccccc dotted; */
	font-size: 12px;
	font-weight: normal;
}

div#content h1:first-child, div#content h2:first-child, h3:first-child {
	margin-top: 0;
	padding-top: 0;
}

div#content hr {
/*	border: 1px dotted #cccccc;
	border-style: none none dotted;
*/
	width: 120px;
	border: 1px solid #cccccc;
	border-style: none none solid;
}

/* fancy! 
div#content ol {
	list-style-type: lower-greek;
}
*/

a {
	color: #0066ff;
	text-decoration: none;
	outline: none;
}

a:hover {
	color: #00bbee;
}


pre { 
	padding: 0.5em;
	border: 1px dashed #8cacbb;
	font-size: 10px;
	overflow: auto;
}	

code {
	color: #000040;
	font-family: monospace;
}

.ragright {
	text-align: right;
}

object.centered {
	display: block;
	margin-left: auto;
	margin-right: auto;
}

div.clear {
	clear: both;
}

div#footer {
	color: #666666;
	padding: 5px 10px 5px 10px;
	font-size: 10px;
	text-align: center;
}