.rcshowhidemine {
	// HACK: Hide this filter since it already appears in
	// the new filter drop-down.
	display: none;
}