body {
	background-color:#fff;
	color:#000;
	font-family: Arial,Geneva,Helvetica,sans-serif;
	font-size: 100%;
	margin-right: 1%;
	margin-left: 1%;
}


h1 {
	border-bottom: dashed 1px #666;
}

h2 {
	color: #003399;
}

h3 {
	color: #003333;
	border-left: solid 8px #666;
	padding-left: 5px;
}

div#explain h2 {
	color: #003399;
	font-size: 110%; border-bottom: solid 1px #E6E6FA;
}

div#explain dt {
	font-weight: bold;
}

div#content h2 {
	color: #003399;
	font-size: 110%;
	border-bottom: solid 1px #E6E6FA;
}

pre.src {
	background-color: #ffffcc;
	border: solid 1px #B0C4DE;
	font-size: 75%;
	padding: 3px;
}

pre.console {
	background-color: #000000;
	color: #ffffff;
	border: solid 1px #B0C4DE;
	width: 30em;
	font-size: 80%;
	padding: 3px;
}

div.classdiagram {
	font-size: 80%;
	width: 60%;
	border: solid 2px #000000;
	padding: 1px;
}

div.classdiagram div.title {
	text-align: center;
	font-weight: bold;
}

div.classdiagram hr {
	height: 2px;
	color: #000000;
}

div.classdiagram span.class{
	font-weight: bold;
}

div.summary {
	margin-left: 5%;
	margin-right: 5%;
}

div.summary strong {
	color: red;
}

div.summary table {
	border:1px solid #336699;
	background-color: #F0FFF0;
	border-collapse: collapse;
}

div.summary td, div.summary th{
	border:1px solid #336699;
}

div#content {
	float: left;
	width: 56%;
	padding-right: 1.5%;
	border-right: dashed 1px #778899;
	margin-top: .3em;
}

div#explain {
	float: left;
	width: 40%;
	padding-left: 1.5%;
	margin-top: .3em;
}

div#content div.left {
}

div#content div.right {
}

div#content div.op {
	clear: left;
}

div#explain table.explain {
	background-color: #f8f8ff;
	border: solid 1px #D3D3D3;
	border-collapse: collapse;
}

div#explain th {
	width: 22%;
	font-size: 85%;
	text-align: left;
	vertical-align: text-top;
	padding: 7px 5px 1em 7px;
}

div#explain td {
	font-size: 95%;
	padding: 7px 4px 1em 2px;
}

div#content table.op {
	background-color: #add8e6;
	border: solid 1px #6495ed;
	border-collapse: collapse;
}

div#explain table.op {
	background-color: #add8e6;
	border: solid 1px #6495ed;
	border-collapse: collapse;
}

div#content th {
	width: 20%;
}

h1.title {
	margin-top: 4px;
	padding-top: 3px;
}

a:link {
	color: #0099CC;
}
a:v
	color: #009966;
}
a:active { }
a:hover { 
	color: #ffa550;
	text-decoration: none;
} 


div#left {
	margin-left: 3%;
	float: left;
	width: 40%;
	padding-right: 1.5%;
	border-right: dashed 1px #778899;
	margin-top: .3em;
}

div#right {
	float: left;
	width: 50%;
	padding-left: 1.5%;
	margin-top: .3em;
}

div#right table.class {
	font-size:90%;
	width: 95%;
	border:1px solid #336699;
	border-collapse: collapse;
}

div#right table.class th {
	padding: 1em;
	border: 1px solid #778899;
	background-color: #ADD8E6;
}

div#right table.class td {
	padding: 1em;
	border: 1px solid #778899;
}

div.navigation strong{
	font-size: 130%;
	color: #cc0000;
}

div#content dl {
	padding-left: 2em;
}


div#content dt {
	font-weight: bold;
}