Editor, Editors, USER, admin, Bureaucrats, Check users, dev, editor, Interface administrators, lookupuser, oversight, push-subscription-manager, Suppressors, Administrators, translator, widgeteditor
17,894
edits
Changes
no edit summary
div.search-box {
div.search-box {
border-radius: 8px;
border-radius: 8px !important;
}
}