div#searchresults {
}



div#searchresults .results {
	margin-left: 24px;
	font-size: 13px;
}
	div#searchresults .results a:hover * {
		text-decoration: underline;
	}
	div#searchresults .results .sentence,
	div#searchresults .results .section {
		margin-bottom: 16px;
	}
		div#searchresults .results .section {
			font-size: 12px;
		}
		div#searchresults .results .section .sectiontitle {
			margin-bottom: 5px;
			color: #ff0000;
		}
		div#searchresults .results .section .result {
			margin-bottom: 12px;
		}