#search_banner
{
	vertical-align: middle;
	text-align: right;
	background-color: #7D7E83;
	color: #ffffff;
	padding: 3px 7px 3px 3px;
	font-size: 10px;
}

#search_banner a
{
	font-size: 10px;
	color: #ffffff;
	margin: 0px 5px 0px 5px;
}

#search_banner a:hover
{
	color: #ff3333;
}

#search_banner input
{
	font-size: 10px;
}

#file_content
{
	margin: 0px;
	padding: 5px;
	min-height: 100%;
}

#file_content input, select
{
	font-size: 8pt;
}

div.section
{
	background-color: #076324;
	color: #ffffff;
	padding: 5px;
	font-size: 1.0em;
	font-weight: bold;
}