body
{
	font-family:sans-serif;
	background-color:#FF66FF;
}
div.window
{
	position:absolute;
	margin:0;
	padding:1px;
	border-style:outset;
	border-width:2px;
	border-color:#000088;
	background-color:#000088;
	z-index:2;
}
div.window:target
{
	z-index:3;
}
div.window>h1
{
	font-size:14px;
	text-align:center;
	background-color:#000088;
	color:#FFFFFF;
	padding:1px;
	margin:0;
	height:20px;
	padding:1px 0px;
	border-bottom-style:solid;
	border-bottom-width:1px;
	border-bottom-color:#000000;
	cursor:default;
}
div.window>h1>div
{
	float:right;
	width:14px;
	height:14px;
	border-color:#000000;
	border-style:outset;
	border-width:2px;
}
div.window>h1>div:active
{
	border-style:inset;
}
div.window>h1>div:first-child
{
	float:left;
}
div.xterm p
{
	background:#000000;
	color:#DDDDDD;
	margin:0;
	padding:0;
/*	font-family:monospace;*/
	text-align:left;
	font-size:8px;
}
div.gv>div
{
	background-color:#FFFFFF;
	height:300px;
	cursor:default;
}
div.gv>div>div
{
	width:175px;
	overflow:hidden;
}
div.gv>div>div:first-child
{
	float:right;
	border-style:solid;
	border-width:1px;
	border-color:#000000;
	width:415px;
	height:289px;
	padding:0 50px;
	overflow:auto;
	margin:4px 2px;
}
div.gv>div>div:first-child>h1
{
	font-size:18pt;
	text-decoration:underline;
}
div.gv>div>div:first-child>p
{
	padding:0;
	margin:0;
	font-size:12pt;
	text-align:justify;
}
div.gv div#gvbox
{
	float:left;
	width:110px;
	border-style:solid;
	border-color:#000000;
	border-width:1px;
	margin:3px;
	padding:0px;
}
div.gv div#gvbox>div
{
	border-style:solid;
	border-color:#000000;
	border-width:1px;
	margin:3px;
	text-align:center;
	padding:1px;
}
div.gv div#gvbox>div:hover
{
	border-width:2px;
	padding:0px;
}
div.gv div#gvscroll
{
	float:right;
	border-color:#000000;
	border-style:solid;
	border-width:1px;
	margin:3px 0;
	width:53px;
	height:252px;
}
div.gv div#gvscroll>div
{
	width:20px;
	height:252px;
	background-color:#AAAAAA;
	border-right-style:solid;
	border-right-color:#000000;
	border-right-width:1px;
	cursor:s-resize;
}
div.xterm p .reverse
{
	background-color:#DDDDDD;
	color:#000000;
	font-weight:bold;
	display:block;
}
div.xterm p .comment, div.xterm p .brace, div.xterm p .func, div.xterm p .idsel
{
	color:#00FFFF;
	font-weight:bold;
}
div.xterm p .keyword
{
	color:#FFFF00;
	font-weight:bold;
}
div.xterm p .const, div.xterm p .value
{
	color:#FF00FF;
	font-weight:bold;
}

div.xterm p .prop, div.xterm p .attr
{
	color:#00FF00;
	font-weight:bold;
}
div.xterm p .lynxtitle
{
	color:#FF00FF;
}
div.xterm p .lynxh1
{
	background-color:#0000FF;
	color:#FFFF00;
	font-weight:bold;
}
div.xterm p .lynxalt
{
	background-color:#000000;
	color:#FFFF00;
	font-weight:normal;
}
div.xterm p .lynxlink
{
	color:#00FF00;
}
div.xterm p .colon:before, div.xterm p .colon:after
{
	content:":";
}
div.xterm p .choosen
{
	color:#FF0000;
}
div.xterm p .active
{
	color:#FFFF00;
	font-weight:bold;
}
div.xterm p .hr
{
	color:#FFFF00;
	font-weight:bold;
}
div.xterm p .lynxbold
{
	color:#FF0000;
}
div.buttons
{
	right:0;
	bottom:0;
	width:326px;
	height:60px;
	z-index:1;
	cursor:default;
}
div.buttons>div
{
	float:left;
}
div.buttons>div#pager
{
	width:120px;
	border-style:solid;
	border-color:#000000;
	border-width:1px;
}
div.buttons>div#pager>div
{
	background-color:#FFFFFF;
	border-color:#000000;
	border-style:dashed;
	border-width:1px;
	width:38px;
	height:28px;
	float:left;
}
div.buttons>div#iconman>div
{
	padding:1px 8px;
	width:84px;
	font-size:12px;
	border-style:outset;
	border-width:2px;
	border-color:#000088;
}
div.buttons>div#iconman>div:hover
{
	border-style:inset;
}
div.buttons>div#iconman>div#active
{
	border-style:inset;
}
div.buttons>div#xload
{
	width:100px;
	height:60px;
}
div.buttons>div#xload>div
{
	border-bottom-width:1px;
	border-bottom-style:solid;
	border-bottom-color:#000000;
	height:11px;
	background-color:#4444FF;
	font-size:10px;
}
div.buttons>div#xload>div:first-child
{
	bottom-bottom-width:0px;
}
div.buttons>div#xload>div:first-child>div
{
	float:left;
	width:1px;
	background-color:#000088;
	z-index:-1;
}
div.buttons>div#xload>div:first-child>div#xload001{height:33px;}
div.buttons>div#xload>div:first-child>div#xload002{height:35px;}
div.buttons>div#xload>div:first-child>div#xload003{height:37px;}
div.buttons>div#xload>div:first-child>div#xload004{height:39px;}
div.buttons>div#xload>div:first-child>div#xload005{height:40px;}
div.buttons>div#xload>div:first-child>div#xload006{height:41px;}
div.buttons>div#xload>div:first-child>div#xload007{height:41px;}
div.buttons>div#xload>div:first-child>div#xload008{height:41px;}
div.buttons>div#xload>div:first-child>div#xload009{height:41px;}
div.buttons>div#xload>div:first-child>div#xload010{height:40px;}
div.buttons>div#xload>div:first-child>div#xload011{height:39px;}
div.buttons>div#xload>div:first-child>div#xload012{height:37px;}
div.buttons>div#xload>div:first-child>div#xload013{height:36px;}
div.buttons>div#xload>div:first-child>div#xload014{height:35px;}
div.buttons>div#xload>div:first-child>div#xload015{height:33px;}
div.buttons>div#xload>div:first-child>div#xload016{height:31px;}
div.buttons>div#xload>div:first-child>div#xload017{height:29px;}
div.buttons>div#xload>div:first-child>div#xload018{height:26px;}
div.buttons>div#xload>div:first-child>div#xload019{height:23px;}
div.buttons>div#xload>div:first-child>div#xload020{height:19px;}
div.buttons>div#xload>div:first-child>div#xload021{height:15px;}
div.buttons>div#xload>div:first-child>div#xload022{height:11px;}
div.buttons>div#xload>div:first-child>div#xload023{height:15px;}
div.buttons>div#xload>div:first-child>div#xload024{height:19px;}
div.buttons>div#xload>div:first-child>div#xload025{height:22px;}
div.buttons>div#xload>div:first-child>div#xload026{height:25px;}
div.buttons>div#xload>div:first-child>div#xload027{height:28px;}
div.buttons>div#xload>div:first-child>div#xload028{height:30px;}
div.buttons>div#xload>div:first-child>div#xload029{height:32px;}
div.buttons>div#xload>div:first-child>div#xload030{height:34px;}
div.buttons>div#xload>div:first-child>div#xload031{height:35px;}
div.buttons>div#xload>div:first-child>div#xload032{height:36px;}
div.buttons>div#xload>div:first-child>div#xload033{height:36px;}
div.buttons>div#xload>div:first-child>div#xload034{height:36px;}
div.buttons>div#xload>div:first-child>div#xload035{height:36px;}
div.buttons>div#xload>div:first-child>div#xload036{height:35px;}
div.buttons>div#xload>div:first-child>div#xload037{height:34px;}
div.buttons>div#xload>div:first-child>div#xload038{height:32px;}
div.buttons>div#xload>div:first-child>div#xload039{height:30px;}
div.buttons>div#xload>div:first-child>div#xload040{height:28px;}
div.buttons>div#xload>div:first-child>div#xload041{height:25px;}
div.buttons>div#xload>div:first-child>div#xload042{height:22px;}
div.buttons>div#xload>div:first-child>div#xload043{height:18px;}
div.buttons>div#xload>div:first-child>div#xload044{height:14px;}
div.buttons>div#xload>div:first-child>div#xload045{height:10px;}
div.buttons>div#xload>div:first-child>div#xload046{height:14px;}
div.buttons>div#xload>div:first-child>div#xload047{height:18px;}
div.buttons>div#xload>div:first-child>div#xload048{height:22px;}
div.buttons>div#xload>div:first-child>div#xload049{height:25px;}
div.buttons>div#xload>div:first-child>div#xload050{height:29px;}
div.buttons>div#xload>div:first-child>div#xload051{height:32px;}
div.buttons>div#xload>div:first-child>div#xload052{height:35px;}
div.buttons>div#xload>div:first-child>div#xload053{height:38px;}
div.buttons>div#xload>div:first-child>div#xload054{height:40px;}
div.buttons>div#xload>div:first-child>div#xload055{height:42px;}
div.buttons>div#xload>div:first-child>div#xload056{height:43px;}
div.buttons>div#xload>div:first-child>div#xload057{height:44px;}
div.buttons>div#xload>div:first-child>div#xload058{height:45px;}
div.buttons>div#xload>div:first-child>div#xload059{height:45px;}
div.buttons>div#xload>div:first-child>div#xload060{height:45px;}
div.buttons>div#xload>div:first-child>div#xload061{height:45px;}
div.buttons>div#xload>div:first-child>div#xload062{height:44px;}
div.buttons>div#xload>div:first-child>div#xload063{height:43px;}
div.buttons>div#xload>div:first-child>div#xload064{height:41px;}
div.buttons>div#xload>div:first-child>div#xload065{height:39px;}
div.buttons>div#xload>div:first-child>div#xload066{height:37px;}
div.buttons>div#xload>div:first-child>div#xload067{height:34px;}
div.buttons>div#xload>div:first-child>div#xload068{height:31px;}
div.buttons>div#xload>div:first-child>div#xload069{height:27px;}
div.buttons>div#xload>div:first-child>div#xload070{height:23px;}
div.buttons>div#xload>div:first-child>div#xload071{height:19px;}
div.buttons>div#xload>div:first-child>div#xload072{height:23px;}
div.buttons>div#xload>div:first-child>div#xload073{height:27px;}
div.buttons>div#xload>div:first-child>div#xload074{height:30px;}
div.buttons>div#xload>div:first-child>div#xload075{height:33px;}
div.buttons>div#xload>div:first-child>div#xload076{height:36px;}
div.buttons>div#xload>div:first-child>div#xload077{height:38px;}
div.buttons>div#xload>div:first-child>div#xload078{height:40px;}
div.buttons>div#xload>div:first-child>div#xload079{height:42px;}
div.buttons>div#xload>div:first-child>div#xload080{height:43px;}
div.buttons>div#xload>div:first-child>div#xload081{height:44px;}
div.buttons>div#xload>div:first-child>div#xload082{height:44px;}
div.buttons>div#xload>div:first-child>div#xload083{height:44px;}
div.buttons>div#xload>div:first-child>div#xload084{height:44px;}
div.buttons>div#xload>div:first-child>div#xload085{height:43px;}
div.buttons>div#xload>div:first-child>div#xload086{height:43px;}
div.buttons>div#xload>div:first-child>div#xload087{height:42px;}
div.buttons>div#xload>div:first-child>div#xload088{height:41px;}
div.buttons>div#xload>div:first-child>div#xload089{height:40px;}
div.buttons>div#xload>div:first-child>div#xload090{height:38px;}
div.buttons>div#xload>div:first-child>div#xload091{height:36px;}
div.buttons>div#xload>div:first-child>div#xload092{height:34px;}
div.buttons>div#xload>div:first-child>div#xload093{height:31px;}
div.buttons>div#xload>div:first-child>div#xload094{height:28px;}
div.buttons>div#xload>div:first-child>div#xload095{height:24px;}
div.buttons>div#xload>div:first-child>div#xload096{height:20px;}
div.buttons>div#xload>div:first-child>div#xload097{height:16px;}
div.buttons>div#xload>div:first-child>div#xload098{height:20px;}
div.buttons>div#xload>div:first-child>div#xload099{height:24px;}
div.buttons>div#xload>div:first-child>div#xload100{height:27px;}
#w1
{
	width:600px;
	top:150px;
	left:200px;
}
#w2
{
	width:510px;
	top:20px;
	left:300px;
}
#w3
{
	width:700px;
	top:170px;
	left:120px;
}
