/*** Search ***/

#messages {
	margin: 1em 1.25em;
	padding: .5em;
	text-align: center;
	border: 1px solid #bbbbbb;
	background: #eeeeee;
}
#mainbody form {
	margin: 1em auto;
	padding: 10px;
	font-size: .7em;
	width: 70%;
	border: 1px solid #bbbbbb;
	background: #ffffff;
}
#mainbody form div#searchline {
	margin: .5em auto;
	width: 375px;
}
#mainbody form input.phpdiginputtext {
	margin-top: 8px;
	margin-left: 5px;
	padding-left: 3px;
	border: 1px solid #bbbbbb;
	height: 1.35em;
	width: 40%;
}
#mainbody form div#operator {
	margin: 1em auto;
	margin-bottom: .25em;
	width: 310px;
}
#mainbody form div#operator input.phpdiginputradio {
	margin-left: 15px;
	padding: 500px;
	text-align: center;
	vertical-align: middle;
}
p.phpdigMessage {
	text-align: center;
	font-weight: bold;
}
p.searchresult {
	margin-left: 50px;
}
span.phpdigHighlight {
	display: inline;
	font-weight: bold;
}
div.result {
	margin: 0 25px;
	border: 1px solid #dddddd;
	background: #f8f8f8;
}
div.navbar {
	margin-bottom: 1em;
	text-align: center;
	font-size: .75em;
}
div.topanchor {
	margin: .25em 25px;
	font-size: .7em;
	text-align: right;
}

/** Buttons **/
#mainbody form input.phpdiginputsubmit {
	padding: 0;
	margin: 0;
	margin-right: 10px;
}