From fefe309f8c37999d587dcd0e045b10beff3b64dc Mon Sep 17 00:00:00 2001 From: Michael Howell Date: Wed, 28 Dec 2022 16:04:57 -0700 Subject: [PATCH] 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. --- src/librustdoc/html/static/css/rustdoc.css | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 2a41d3579e1d8..d4a0e93b1e6bf 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);