td.prodfilter {
	background-color: #ececec;
	border: 1px dotted #42619a;
	padding: 4px;
	font-weight: bold;
	color: #42619a;
	font-size: xx-small;
}
select#sman {
	font-size: xx-small
}