TheDJ has uploaded a new change for review. https://gerrit.wikimedia.org/r/291368
Change subject: SpecialSearch: simplify css selectors ...................................................................... SpecialSearch: simplify css selectors The CSS specificity here is probably mostly from when this was still in the skins. I think it's about time we clean it up a bit. Change-Id: Ic100a4b33560c14afc9ad2bfac162d1494b1b5bc --- M resources/src/mediawiki.special/mediawiki.special.search.styles.css 1 file changed, 23 insertions(+), 28 deletions(-) git pull ssh://gerrit.wikimedia.org:29418/mediawiki/core refs/changes/68/291368/1 diff --git a/resources/src/mediawiki.special/mediawiki.special.search.styles.css b/resources/src/mediawiki.special/mediawiki.special.search.styles.css index 7be7c84..8abf9d5 100644 --- a/resources/src/mediawiki.special/mediawiki.special.search.styles.css +++ b/resources/src/mediawiki.special/mediawiki.special.search.styles.css @@ -21,13 +21,15 @@ .mw-body p.mw-search-nonefound { margin: 0; } -.mw-search-interwiki-header { +.mw-search-interwiki-header, +.searchdidyoumean em, +.searchmatch { font-weight: bold; } .mw-search-nonefound + .mw-search-interwiki-header { margin-top: 0; } -div.searchresult { +.searchresult { font-size: 95%; width: 38em; } @@ -52,32 +54,32 @@ margin-top: 1em; border: 1px solid #c0c0c0; } -.mw-search-profile-tabs div.search-types { +.search-types { float: left; padding-left: 0.25em; } -.mw-search-profile-tabs div.search-types ul { +.search-types ul { margin: 0; padding: 0; list-style: none; } -.mw-search-profile-tabs div.search-types ul li { +.search-types ul li { float: left; margin: 0; padding: 0; } -.mw-search-profile-tabs div.search-types ul li a { +.search-types ul li a { display: block; padding: 0.5em; } -.mw-search-profile-tabs div.search-types ul li.current a { +.search-types ul li.current a { color: #333; cursor: default; } -.mw-search-profile-tabs div.search-types ul li.current a:hover { +.search-types ul li.current a:hover { text-decoration: none; } -#mw-search-top-table div.results-info { +.results-info { float: right; padding: 0.5em; padding-right: 0.75em; @@ -85,55 +87,54 @@ font-size: 95%; } -fieldset#mw-searchoptions { +#mw-searchoptions { margin: 0; padding: 0.5em 0.75em 0.75em 0.75em; - border: none; background-color: #f9f9f9; border: 1px solid #c0c0c0; border-top-width: 0; } -fieldset#mw-searchoptions legend { +#mw-searchoptions legend { display: none; } -fieldset#mw-searchoptions h4 { +#mw-searchoptions h4 { padding: 0; margin: 0; float: left; } -fieldset#mw-searchoptions table { +#mw-searchoptions table { float: left; margin-right: 3em; border-collapse: collapse; } -fieldset#mw-searchoptions table td { +#mw-searchoptions table td { padding: 0 1em 0 0; white-space: nowrap; } -fieldset#mw-searchoptions div.divider { +#mw-searchoptions .divider { clear: both; border-bottom: 1px solid #ddd; padding-top: 0.5em; margin-bottom: 0.5em; } -td#mw-search-menu { +#mw-search-menu { padding-left: 6em; font-size: 85%; } -div#mw-search-interwiki { +#mw-search-interwiki { float: right; width: 18em; border: 1px solid #aaa; margin-top: 2ex; } -div#mw-search-interwiki li { +#mw-search-interwiki li { font-size: 95%; } .mw-search-interwiki-more { float: right; font-size: 90%; } -div#mw-search-interwiki-caption { +#mw-search-interwiki-caption { text-align: center; font-weight: bold; font-size: 95%; @@ -145,18 +146,12 @@ background-color: #ececec; border-top: 1px solid #bbb; } -span.searchalttitle { +.searchalttitle { font-size: 95%; } -div.searchdidyoumean { +.searchdidyoumean { font-size: 127%; margin-top: 0.8em; /* Note that this color won't affect the link, as desired. */ color: #c00; -} -div.searchdidyoumean em { - font-weight: bold; -} -.searchmatch { - font-weight: bold; } -- To view, visit https://gerrit.wikimedia.org/r/291368 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: newchange Gerrit-Change-Id: Ic100a4b33560c14afc9ad2bfac162d1494b1b5bc Gerrit-PatchSet: 1 Gerrit-Project: mediawiki/core Gerrit-Branch: master Gerrit-Owner: TheDJ <hartman.w...@gmail.com> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits