html 
{
	margin:			0;
	padding:		0;
}

body 
{
	text-align:		center;
	margin:			0;
	padding:		0;
	background-color:	white;
}

html, body, li, ol, ul, td, th
{
	font-size:		12px;
	font-family:		geneva, verdana, sans-serif;
}

#top
{
	height:			3.2em;
	width:			100%;
	text-align:		center;
	background-color:	rgb(170,170,170);

	font-size:		2em;
	font-family: 		geneva, verdana, sans-serif;
	line-height:		1em;

	overflow-y: 		hidden;
}

#top #contents
{
	font-family:		arial;
	margin-left: 		auto; 
	margin-right: 		auto; 
	width:			770px;
	text-align:		left;
	padding:		0em 0 0 8px;
}

#top #contents h1
{
	margin:			0em 0 0 0;
	padding:		0.9em 0 0 0;
	font-size:		1em;
	font-weight:		normal;
	float: 			left;
}

#top #contents h1 a 
{
	clear:			left;
	color:			black;
	text-decoration:	none;
	margin:			0;
	padding:		0;
}

#top #contents #updated
{
	font-size:		0.5em;
	margin:			0;
	padding:		0.1em 0 0 0;
	width:			270px;
	float: 			left;
}

#top #contents img
{
	float:			right; 
	margin: 		8px 20px 0 0;
}

ol
{
	list-style-type:	decimal;
	margin-top:		1em;
}

ol ol
{
	list-style-type:	lower-alpha;
	margin-top:		1em;
}

ol ol li
{
	margin-left:		0;
	margin-right:		0;
}

body 
{
	text-align:		center;
	margin:			0;
	padding:		0;
	background-color:	rgb(252,207,62);
}

#main
{
	text-align: 		left; 
	margin-left: 		auto; 
	margin-right: 		auto; 
	margin-bottom:		5em;
	width: 			772px; 
	overflow-x:		visible;
	background-color: 	rgb(252,207,62); 
}

#main .menubar
{
	float: 			left; 
	height: 		100%; 
	width: 			174px;
	padding:		0 0 2em 0;
}

#main .menubar h2 
{
	font-family:		Geneva, arial, verdana, sans-serif;
	font-size:		1.5em;
	margin:			1em 0px 1em 0px;
	padding:		0em 0 0 8px;
}

#main .menubar ul
{
	margin:			0;
	padding:		0;
}

#main .menubar li
{
	display:		inline;
	padding:		0;
	margin: 		0;

	font-family:		Geneva, verdana, helvetica, sans-serif;
	font-weight:		normal;
	background-color: 	transparent;
}

#main .menubar li a
{
	display:		block;
	width: 			174px; 
	margin:			0;
	padding:		0.5em 8px 0.5em 8px;
	border:			0px solid rgb(250,248,233);
	border-width:		0 0 1px 0;
	color:			black;
	text-decoration: 	none;
        voice-family: 		"\"}\"";
        voice-family: 		inherit;
	width: 			158px;
}

#main .menubar a
{
	width: 			158px;
}

#main .menubar a:hover
{
	text-decoration:	none;
	color:			rgb(250,248,233);
	background-color:	rgb(50,50,50);
}

#main div.contents 
{
	margin: 		0px 16px 3em 174px; 
	background-color: 	rgb(250,248,233); 
	padding:		1em 0 2em 8px;
}

#main div.contents h1,h2,h3,h4,p,li,table,form
{
	margin:			0 200px 1em 8px;
}

#main div.contents ul li
{
	margin-bottom:		0;
}

#main div.contents p
{
	line-height:		1.3em;
}

#main div.contents h1,h2,h3,h4,h5
{
	font-family:		verdana;
	font-weight:		normal;
}

#main div.contents h1
{
	font-size:		2em;
	margin-top:		2em;
	margin-bottom:		1em;
}

#main div.contents h2
{
	font-size:		1.5em;
	margin-top:		1.5em;
	margin-bottom:		1em;
}

#main div.contents h1.first-child
{
	margin-top:		0em;
	margin-bottom:		0.5em;
}

#main div.contents h2.first-child
{
	margin-top:		0;
}

#main div.contents h3
{
	font-size:		1.2em;
	font-weight:		bold;
	margin-top:		1em;
	margin-bottom:		1em;
}

#main div.contents .index a
{
	color:			blue;
	text-decoration:	none;
}

#main div.contents .index a:hover
{
	color:			navy;
	text-decoration:	underline;
}

#main div.contents .index a:visited
{
	color:			rgb(0,154,0);
}

#main div.contents .index li
{
	margin:			0;
}

#main div.contents div.adbox
{
	float:			right;
	width:			160px;
	margin:			0 8px 16px 0;
	padding: 		8px 4px 8px 8px;

	text-align:		center;
}

#main div.contents div.top-of-page
{
	float:			right;
	width:			160px;
	margin:			0 8px 16px 0;
	padding: 		8px 4px 8px 8px;

	font-size:		10px;
	text-align:		right;
}

#main div.contents.div.top-of-page a {
	color:			blue;
	text-decoration:	underline;
}

#main div.contents.div.top-of-page a:visited {
	color:			blue;
	text-decoration:	underline;
}

#main div.contents div.textbox
{
	border: 		1px solid silver; 
	float: 			right; 
	clear:			right;
	width: 			159px; 
	margin: 		0 8px 16px 4px; 
	padding: 		8px 5px 5px 8px;
}

#main div.contents div.textbox h1
{
	margin: 		0 0 1em 0em;
	font-size:		1.2em;
	font-weight:		bold;
}

#main div.contents div.textbox a
{
	text-decoration:	underline;
	color:			black;
}

#main div.contents div.textbox a:hover
{
	text-decoration:	underline;
	color:			black;
}

#main div.contents div.textbox p 
{
	line-height:		1.2em;
 	margin:			0 0 1em 0;
}

#main div.contents div.textbox ul,ol
{
	margin-top:		0;
	margin-bottom:		1em;
}

#main div.contents div.textbox li
{
	line-height:		1.2em;
	margin:			0;
}

#main div.contents div.example
{
	margin:			0 200px 1em 8px;
	padding:		8px;
	border:			1px solid gray;
}

#main div.contents div.example pre
{
	margin:			0;
	padding:		0;
	font-family:		courier, monospace;
}

#main div.contents div.example h1
{
	font-size:		1.2em;
	margin:			0 0 0 0;
	font-weight:		bold;
}

#main div.contents div.example h2
{
	font-size:		1em;
	margin:			0 0 0 0;
	font-weight:		bold;
}

#main div.contents div.example p
{
	margin:			0 0 1em 0;
}

#main div.contents div.example ul
{
	margin-top:		0;
}

#main div.contents div.example li
{
	margin:			0;
}

#main div.contents .copyright
{
	margin-top:		2em;
	margin-bottom:		0;
}

#main div.contents .copyright a
{
	color:			black;
	text-decoration:	none;
}

#main div.contents .copyright a:hover
{
	color:			black;
	text-decoration:	underline;
}


#main div.contents .copyright a:visited
{
	color:			black;
}

#main div.contents form input.textfield
{
	margin-left:		0;
	margin-bottom:		0.25em;
	width:			20em;
	border:			1px solid gray;
	font-family:		monospace;
	background-color:	white;
}

#main div.contents form textarea
{
	width:			26em;
	height:			6em;
	border:			1px solid gray;
	font-family:		monospace;
	background-color:	white;
}

#main div.contents form input.button
{
	margin-top:		1em;
	width:			10em;
}

table.enteties 
{
	margin-right:		16px;
}

table.enteties thead tr
{
	background-color:	gray;	
	color:			white;
	padding:		4px 0 4px 0;
}

table.enteties thead tr th
{
	padding:		2px 0 2px 0;	
	text-align:		left;
	margin-right:		1em;
border: 1px solid red;
}

table.enteties tr
{
	border: 		0px solid silver;
	border-width:		1px 0 1px 0;
	padding:		2px 0 2px 0;
}

table.properties th, table.properties td
{
	text-align:		left;
	vertical-align:		top;
}

table.properties td.property
{
	vertical-align:		top;
	width:			38%;
}

table.properties td, table.properties th
{
	border:			0px solid silver;
	border-bottom-width:	1px;
}

table.borderstyle
{
	width:			100%;
	margin:			0;
	padding:		0;
	border:			0;
}

table.borderstyle tr, table.borderstyle tbody
{
	margin:			0;
	padding:		0;
}

table.borderstyle td
{
	margin:			0;
	width:			auto;
	vertical-align:		middle;
	border:			0px solid silver;
	border-bottom-width:	1px;
}

table.colors
{
	width:			350px;
}

table.colors td
{
	width:			20%;
	height:			3.3em;
	font-size:		10px;
	vertical-align:		top;
}

table.colors span
{
	font-size:		1em;
	font-family:		inherit;
	color:			white;
	background-color:	black;
	padding:		1px;
}

.left
{
	text-align:		left;
}

.center
{
	text-align:		center;
}

.right
{
	text-align:		right;
}

.a100px
{
	float: 			left;
	width: 			9px;
	height:			10px;
	border:			0px solid black;
	border-left-width:	1px;
	border-bottom-width:	1px;
	font-size:		1px;
	overflow:		hidden;  /* TODO: Use hidden for IE and visible for others*/
}

.a100px .val
{
	position:		relative;
	font-size:		10px;
	font-family:		verdana;
	top:			-20px;
	left:			-0px;
}

.a50px
{
	margin-top:		2px;
	float: 			left;
	width: 			9px;
	height:			8px;
	border:			0px solid black;
	border-left-width:	1px;
	border-bottom-width:	1px;
	font-size:		1px;
}

.a10px
{
	margin-top:		5px;
	height:			5px;
	float: 			left;
	width: 			9px;
	border:			0px solid black;
	border-left-width:	1px;
	border-bottom-width:	1px;
	font-size:		1px;
}#main div.contents div.example-4-1 h1 
{
   font-family:      arial, sans-serif;
   font-size:        20px;
   font-weight:      normal;
   color:            red;
}

#main div.contents div.example-4-1 p
{
   font-family:      times, serif;
   font-size:        16px;
}