diff --git a/resources/ext.ReplaceTextStyles.css b/resources/ext.ReplaceTextStyles.css index 1eb4bcbb..ce0cccf3 100644 --- a/resources/ext.ReplaceTextStyles.css +++ b/resources/ext.ReplaceTextStyles.css @@ -2,6 +2,44 @@ margin-top: 20px; } +.searchmatch { + font-weight: bold; +} + +#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; + border: 1px solid #c8ccd1; + border-radius: 0 0 2px 2px; +} + +#mw-searchoptions h4 { + padding: 0; + margin: 0; + float: left; +} + +#mw-searchoptions table { + float: left; + margin-right: 3em; + border-collapse: collapse; +} + +#mw-searchoptions table td { + padding: 0 1em 0 0; + white-space: nowrap; +} + +#mw-searchoptions .divider { + clear: both; + border-bottom: 1px solid #eaecf0; + padding-top: 0.5em; + margin-bottom: 0.5em; +} + #mw-search-togglebox { float: right; } diff --git a/src/SpecialReplaceText.php b/src/SpecialReplaceText.php index a55d16b1..e440e7c1 100644 --- a/src/SpecialReplaceText.php +++ b/src/SpecialReplaceText.php @@ -662,8 +662,6 @@ class SpecialReplaceText extends SpecialPage { $out->addModules( "ext.ReplaceText" ); $out->addModuleStyles( "ext.ReplaceTextStyles" ); - // Needed for bolding of search term. - $out->addModuleStyles( "mediawiki.special.search.styles" ); $linkRenderer = MediaWikiServices::getInstance()->getLinkRenderer();