diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2023-07-20 17:19:34 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-07-20 17:19:34 +0200 |
| commit | 8ac957aa0355d4160ebe7f7a5c97d51b96cfbd70 (patch) | |
| tree | 089801f48230a297f48e541d18f3e8e7e62e319a /src/librustdoc/html/static/css/rustdoc.css | |
| parent | add8298aff158e02468ebf6ee3eb251a7cd0e4ff (diff) | |
| parent | 2009b4a5cc1d097188da4396f423a076ac6282a1 (diff) | |
| download | rust-8ac957aa0355d4160ebe7f7a5c97d51b96cfbd70.tar.gz rust-8ac957aa0355d4160ebe7f7a5c97d51b96cfbd70.zip | |
Rollup merge of #113883 - steffahn:rustdoc-search-crate-selector-padding, r=GuillaumeGomez
Remove outdated Firefox-specific CSS for search's crate selector appearance Remove adjustments that used to be necessary for search's crate selector appearance (padding) to look identical on Firefox. New versions of Firefox appear to have changed behavior to agree with Chrome. As briefly discussed in https://github.com/rust-lang/rust/pull/98855#issuecomment-1624098112 r? ``@GuillaumeGomez``
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 94e778406f8..b1de8c1529e 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -776,7 +776,6 @@ table, } #crate-search { min-width: 115px; - /* keep these two in sync with "@-moz-document url-prefix()" below */ padding: 0 23px 0 4px; /* prevents the <select> from overflowing the containing div in case it's shrunk */ max-width: 100%; @@ -798,14 +797,6 @@ table, #crate-search:hover, #crate-search:focus { border-color: var(--crate-search-hover-border); } -/* cancel stylistic differences in padding in firefox -for "appearance: none"-style (or equivalent) <select>s */ -@-moz-document url-prefix() { - #crate-search { - padding-left: 0px; /* == 4px - 4px */ - padding-right: 19px; /* == 23px - 4px */ - } -} /* pseudo-element for holding the dropdown-arrow image; needs to be a separate thing so that we can apply CSS-filters to change the arrow color in themes */ #crate-search-div::after { |