.searchighlightsmall {
	color: #3c3e43;
	background: #ff6;
	font-size: 13px;
	font-weight: bold;
}

.searchighlightcode {
	color: #3c3e43;
	background: #ffffd0;
	font: bold 13px Courier New, Consolas, Fixedsys, Verdana, Arial;
}

.searchcode {
	color: #3c3e43;
	font: 13px Courier New, Consolas, Fixedsys, Verdana, Arial;
}

.search0hr {
	border: none;
	color: #c1d8f7;
	background-color: #c1d8f7;
	height: 1px;
	margin: 3 1 3 1;
	padding: 0;
}

.searchighlight {
	color: #3c3e43;
	background: #ff6;
	font-size:13px;
}

.searchighlightbold {
	font-weight: bold;
}
