/* @option theme searchbox */

#searchtop,
#searchbottom {
	display: none;
}