body
{
	font-family: Verdana;
	background-color: #555555;
	margin: 3px 20px 3px 20px;
	font-size: 12px;
}
pre
{
	border: 1px solid darkgray;
	color: white;
	background-color: black;
	padding: 10px 10px 10px 10px;
}
code
{
	color: #1e58b9;
	float: none;
	clear: both;
}
span#msg
{
	border: 1px solid black;
	padding: 10px 10px 10px 10px;
	margin-top: 25px;
	background-color: #FFEC8B;
	width: 100%;
}
span#hide
{
	border: 1px dashed darkgray;
	padding: 0px 0px 0px 0px;
	margin: 0px 0px 0px 0px;
	background-color: #fefefe;
	color: #fefefe;
	/* width: 100%; */
}
div
{
	border-left: 1px solid black;
	border-right: 1px solid black;
	background-color: #fefefe;
	padding: 10px 20px 10px 20px;
	height: 100%;
	/* overflow: hidden; */
}
h1
{
	color: #ff7f00;
	font-weight: bold;
	font-size: 24px;
}
h2
{
	color: #2a2a2a;
	font-weight: bold;
	font-size: 18px;
}
h3, span#h3
{
	color: #1e58b9;
	font-weight: bold;
	font-size: 16px;
}
hr.red
{
	color: #ff7f00;
	background-color: #ff7f00;
	height: 2px;
}