/* @option theme searchbox*/

#searchtop,
#searchbottom {
	display: none;
}