code
{
	font-weight: bold;
	font-size: 110%;
	color: blue;
}

div.main
{
	float: left;
	width: 692px;
}

div.boxes
{
	float: left;
	width: 226px;
	margin-left: 15px;
}

div.adsense
{
	float: left;
	width: 160px;
	height: 600px;
	margin-left: 15px;
}

div.box
{
	padding: 10px;
	background: url(/server/res/hatch-gray.gif) repeat-y;
	background-position: right top;
	background-color: #E7E7E7;
	border: 1px solid #76163C;
	border-top-width: 5px;
	margin-bottom: 15px;
}

div.box h3
{
	font-size: 120%;
	margin: 0px;
}

div.scout
{
	padding: 10px;
	background-color: #423b28;
	color: white;
	margin-bottom: 15px;
}

div.scout a:hover
{
	color: white;
}

div.box h3
{
	color: #ED6F00;
}

textarea
{
	width: 99%;
	margin-bottom: 5px;
	font-family: monospace;
}

textarea.regexp
{
	height: 32px;
}

textarea.string
{
	height: 80px;
}

table.form
{
	width: 100%;
}

table.form h4
{
	margin: 0px 0px 5px 0px;
	color: #ED6F00;
}

pre.matches
{
	background-color: #FFFFE1;
	border: 1px solid #CBCBCB;
	padding: 5px 8px;
	width: 650px;
	overflow: auto;
}

pre.matches span
{
	background-color: #00FF00;
	font-weight: bold;
}

a.ext
{
	background: url(a-ext.gif) no-repeat;
	background-position: right;
	padding-right: 12px;
}

div.help div.left
{
	float: left;
	width: 49%;
}

div.help div.right
{
	float: right;
	width: 49%;
}

div.help table
{
	width: 100%;
}