/* @option theme searchbox */

#searchtop {
	display: none;
}