With zoom level > 100% on Firefox, `#mw-searchoptions` which is a
`fieldset` element adds unintended `margin` with negative `margin-top`
applied. This is a workaround for wrong browser behaviour and
regression of I4bda42c03a5.
Bug: T176499
Change-Id: I329f83e6063460dc11ff45583e335280c9257ef7
/*==========================*/
#mw-searchoptions {
+ /* Support: Firefox, needs `clear: both` on `fieldset` when zoom level > 100%, see T176499 */
+ clear: both;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
margin: -1px 0 0;