Adding `border-radius` in order to align to WikimediaUI Style Guide
and be more harmonious.
Change-Id: I4bda42c03a5dbf35866df4413cdb43233334912a
background-color: #f8f9fa;
margin-top: 1em;
border: 1px solid #c8ccd1;
+ border-radius: 2px;
}
.search-types {
float: left;
/*==========================*/
#mw-searchoptions {
- margin: 0;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
+ margin: -1px 0 0;
border: 1px solid #c8ccd1;
- border-top-width: 0;
+ border-radius: 0 0 2px 2px;
}
#mw-searchoptions legend {
display: none;