diff options
| author | Michael Howell <michael@notriddle.com> | 2022-12-28 16:04:57 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-12-28 16:04:57 -0700 |
| commit | fefe309f8c37999d587dcd0e045b10beff3b64dc (patch) | |
| tree | 45b97a980703e75c5bbadc6c7142f12fc79edda5 /src/librustdoc/html/static/css/rustdoc.css | |
| parent | 270c94e484e19764a2832ef918c95224eb3f17c7 (diff) | |
| download | rust-fefe309f8c37999d587dcd0e045b10beff3b64dc.tar.gz rust-fefe309f8c37999d587dcd0e045b10beff3b64dc.zip | |
rustdoc: simplify settings, help, and copy button CSS by not reusing
Since there remains only one common CSS rule shared between them, there's no point to it: the block and selector costs more than the single `width` rule saves.
Diffstat (limited to 'src/librustdoc/html/static/css/rustdoc.css')
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 2a41d3579e1..d4a0e93b1e6 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -1318,15 +1318,11 @@ a.test-arrow:hover { -webkit-appearance: none; opacity: 1; } + #settings-menu, #help-button { margin-left: 4px; display: flex; } - -#settings-menu > a, #help-button > a, #copy-path { - width: 33px; -} - #settings-menu > a, #help-button > a { display: flex; align-items: center; @@ -1338,6 +1334,7 @@ a.test-arrow:hover { /* Rare exception to specifying font sizes in rem. Since this is acting as an icon, it's okay to specify their sizes in pixels. */ font-size: 20px; + width: 33px; } #settings-menu > a:hover, #settings-menu > a:focus, @@ -1353,6 +1350,7 @@ a.test-arrow:hover { padding: 0; padding-left: 2px; border: 0; + width: 33px; } #copy-path > img { filter: var(--copy-path-img-filter); |
