div.resurl {
	font-size: 12px;
	color: green;
}

div.resultline {
	margin-bottom: 12px;
}

div.restxt {
	font-size: 12px;
	color: #555;
}

div.restit {
	font-size: 14px;
}

div.blueline {
	border-top: 1px solid #968674;
	background-color: #e7dbcd;
	margin-bottom: 8px;
	padding: 1px;
}

div.topline {
	border-bottom: 1px solid #e7dbcd;
	padding: 2px;
	font-size: 12px;
}

div.nomatch {
	font-size: 12px;
	color: #ff0000;
}

div.nomatch2 {
	font-size: 12px;
}

small {
	font-size: 12px;
}