@CHARSET "UTF-8";

.search-results {
	font-size: 80%;
}

.searchWidget_header {
	font-size: 125%;
}

.search-results li a {
	color: #2751b7;
	text-decoration: underline;
}