/* STYLES FOR SEARCH RESULTS. TO BE AMALGAMATED WITH master.css*/
.highlight {
	font-weight: bold;
}

ul#searchResultSummary {
	list-style-type: none;
	margin-bottom: 15px;
}

div#searchResults h1 {
	font-size: 2.5em;
	font-weight: bold;
	color: #035187;
}

div.searchResultSection {
	margin-bottom: 10px;
}

div.searchResultOutput {
	margin-bottom: 5px;
}

div.searchResultOutput h2 {
	font-size: 2.1em;
	padding-bottom: 0;
}

ul.courseSearchResultList {
	list-style-type: none;
	font-size: inherit;
}
div#searchNoResults p {
	font-size: 16px;
	font-weight: bold;
}
div#searchNoResults p.bigger {
	font-size: 20px;
}
div#paging {
	margin-top: 20px;
}

div#paging ul {
	list-style-type: none;
}

div#paging ul li {
	display: inline;
}