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;
background-color: #f8f9fa;
margin-top: 1em;
border: 1px solid #c8ccd1;
}
.search-types {
float: left;
}
.search-types {
float: left;
/*==========================*/
#mw-searchoptions {
/*==========================*/
#mw-searchoptions {
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
padding: 0.5em 0.75em 0.75em 0.75em;
background-color: #f8f9fa;
border: 1px solid #c8ccd1;
border: 1px solid #c8ccd1;
+ border-radius: 0 0 2px 2px;
}
#mw-searchoptions legend {
display: none;
}
#mw-searchoptions legend {
display: none;