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.
This commit is contained in:
Michael Howell 2022-12-28 16:04:57 -07:00
parent 270c94e484
commit fefe309f8c

View file

@ -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);