select.menu > option {
	font-weight: bold;
}

select.menu option:first-child {
	display: none;
}

.current_document_title {
	font-weight: bold;
	background: #fff;
	padding-left: 1em;
	padding-right: 1em;
}