body {
	background:url(bg.gif) repeat-y;
	background-color:white;
	color:rgb(73,112,83);
	font-family: arial, helvetica, sans-serif;
	font-size:x-small;
}

textarea, input {
	font-family: arial, helvetica, sans-serif;
	padding:3px;
}

a { color:rgb(100,156,29); }

div.left {
	width:230px;
	color:rgb(150,220,70);
	text-align:right;
	margin-right:10px;
	font-family: "courier new", monospace;
}
div.nav {}
div.nav a {
	/* color:rgb(131,196,59); */
	color:rgb(150,220,70);
	text-decoration:none;
}
p.navgroup {margin:9px 0 4px 0}

/* Experiment: */
div.nav a:hover {
	/* font-weight:bold;*/
	text-decoration:underline;
}

span#navhic {
	color:rgb(150,220,70);
}

div.header {
	font-weight:bold;
	font-size:150%;
	margin-bottom:10px;
}
div.headersub {
	font-size:65%;
	font-style:normal;
}

div.logo {
	position:relative;
	left:-15px;
}
img {
	border:none;
	margin:0;
}
div.right {
	position:absolute;
	left:270px;
	top:15px;
	margin-right:15px;
}
h1 {
	font-family: "courier new", monospace;
	margin-bottom:20px;
	/* border-bottom:2px solid rgb(150,220,70); */
	/* background:#efe;*/
	border-bottom: 8px solid #cdc;
	/*border: 8px solid #cdc;
	position:relative; left:-11px;
	padding-left:3px;
	background:#cdc;*/
}
h2 {
	font-family: "courier new", monospace;
	margin-bottom:0px;
	border-bottom: 5px solid #cdc;
}
h3 {
	font-family: "courier new", monospace;
	margin-bottom:0px;
	border-bottom: 2px dotted #cdc;
}
h4 {
	font-family: "courier new", monospace;
	margin-bottom:0px;
	font-size:110%;
}

p.text { margin:5px 0 10px 0; }

div.structure {
	margin-left:0px; 
	border:none
}

pre.code {
	font-weight:bold;
	margin:5px 0 5px 0px;
	padding:6px;
	background-color:rgb(235,245,230);
	border:1px solid #9c9;
	font-size:90%;
	font-family: "courier new", monospace;
}
pre.cmdline {
	font-weight:bold;
	margin:0px 0 10px 0;
	padding:6px;
	background-color:rgb(245,245,245);
	border:1px dotted;
	font-size:90%;
	font-family: "courier new", monospace;
}
span.comment {
	font-weight:normal;
}

div.here {
	float:left;
	margin:10px 15px 10px 0px;
	padding:4px;
	width:200px;
	border:1px dotted;
	text-align:left;
	font-size:90%;
	font-weight:bold;
}
div.there {
	float:left;
	margin:10px 15px 10px 0px;
	padding:4px;
	width:200px;
	border:1px dotted;
	text-align:right;
	font-size:90%;
	font-weight:bold;
}

div.source {
	text-align:right;
}

div.foot {
	margin:10px 3px 8px 0;
	text-align:right;
	color:#999;
	font-style:italic;
	font-size:75%;
}

div.prev {
	text-align:left;
	float:left;
}
div.next {
	text-align:right;
}
div.prevnext {
	position:relative;
	top:-5px;
	float:right;
	text-align:right;
	margin-right:3px;
	margin-top:10px;
}

span.code, span.ocs { font-family: "courier new", monospace; }

div.nb {background-color:#eee; margin:20px 0 5px 0}
p.nb {background-color:#eee; margin:5px 0 10px 0}
/* padding-left:9px; border-left:3px solid ; */

textarea.license {font-size:80%; background-color:#eee; border:1px dotted; padding:0 9px 3px 9px; margin-top:20px;
margin-bottom:5px; width:100%; height:230px}

div.ack {margin-top:120px; text-align:left;}

div#disclaimer {margin-top:70px}
/*  width:50%;   */
div.featl {clear:both; float:left; font-weight:bold; }
div.featr {}

table#features {
	margin-left:0;
	padding:0;
	border:none;
	position:relative;
	left:-4px;
	/* border:1px solid #aba; */
	background:#eee;
	font-size:x-small;
}
td.featl {
	width:30%;
	vertical-align:top;
	font-weight:bold;
	padding-left:5px;
	padding-right:5px;
	background:#fff;
}
td.featr {
	vertical-align:top;
	padding-left:5px;
	background:#fff;
}

span.featl {vertical-align:top; font-weight:bold; text-align:left; }
span.featr {vertical-align:top; }