a.dsphead {
	text-decoration:none;
}
a.dsphead:hover {
	text-decoration:underline;
}
a.dsphead span.dspchar {
	font-family:	monospace;
	font-weight:	normal;
}
.dspcont {
	display:	none;
}

p.notice {
	font-family: serif, Times New Roman, Times;
	color: orange;
	text-align: justify;
	border: 1px solid red;
	width:	80%;
	padding:	1% 5% 1% 5%;
	margin:	10pt;
}

PRE {
	font-family:	Courier New, Courier, Fixed;
	font-size:	0.8em;
	color:	green;
}

P {
	text-align: justify;
}

UL {
	list-style-image:	url(pipe.png);
	vertical-align:	text-bottom;
}

DL.servers {
	list-style-image:	url(pipe.png);
	display:	block;
	margin-left:	10%;
	margin-right:	10%;
	padding:	5pt;
	border-width:	thin;
	border-color:	orange;
	border:	double;

}

DT {
	padding:	3pt;
}

DD {
	text-align:	justify;
}

DD.servers {
	font-family:	Courier New, Courier, Fixed;
	font-size:	0.7em;
}

TABLE {
	border-width: medium medium medium medium;
	border-spacing: 2px;
	border-style: double double double double;
	border-color: black black black black;
	border-collapse: collapse;
}

TH {
	border-width: thin thin thin thin;
	padding: 3px 3px 3px 3px;
	border-style: solid solid solid solid;
}

TD {
	border-width: thin thin thin thin;
	padding: 3px 3px 3px 3px;
	border-style: solid solid solid solid;
}

.odd {
	background-color:	#D4D4D4;
}

.even {
	background-color:	#E8E8E8;
}

h3.example {
	color:	#181873;
/*
	border: 1px solid #181873;
	margin: 0 1em 0 0;
*/
}


body {
	background-color:	#F5F5F5;
	/*background-color:	#FFFAF0;*/
}

#leftbar {
	float:	left;
	width:	20%;
	background-color:	#FFFAF0;
	padding:	3pt 5pt 2pt 0;
	border:	1px solid #181873;
	margin:	1% 1% 1% 1%;
	font-size:	0.8em;
	#position:	fixed;
	#top:	17px;
}

#rightbar {
	float:	right;
	width:	20%;
	background-color:	#FFFAF0;
	padding: 5pt;
	border: 1px solid #181873;
	margin: 1% 1% 1% 1%;
	font-style:	italic;
}

#buynow {
	padding: 1%;
}

.platform {
	font-family:	Courier New, Courier, Fixed;
}

.bordered {
	border: 1px solid #181873;
	border-width: thin thin thin thin;
	background-color:	#FFFAF0;
	padding:	0 5% 1% 5%;
	width:	80%;
}

/*
BODY {
	font-family:	Trebuchet MS, Bistream Vera Sans, Verdana, Arial,
		Lucida Sans Unicode, Helvetica, sans-serif;
}
*/