diff options
| author | Michael Howell <michael@notriddle.com> | 2022-09-15 09:59:27 -0700 |
|---|---|---|
| committer | Michael Howell <michael@notriddle.com> | 2022-09-15 09:59:27 -0700 |
| commit | 7f1734cd94eaeda71af5dc807a8ec58b3209d220 (patch) | |
| tree | 4210ffa6b3f577fbb95d9a798f11b5015f525240 | |
| parent | 294f0eef736aa13cadf28ce7160a18a94ca7b87c (diff) | |
| download | rust-7f1734cd94eaeda71af5dc807a8ec58b3209d220.tar.gz rust-7f1734cd94eaeda71af5dc807a8ec58b3209d220.zip | |
rustdoc: remove no-op CSS `h1-4 { color: --main-color }`
Headers already inherit the font color they need from their parents. This rule dates back to earlier versions of the rustdoc theme, where headers and body had different text colors. https://github.com/rust-lang/rust/blob/68c15be8b5a28297ae58ea030adf49f265e41127/src/librustdoc/html/static/main.css#L72-L98 Nowadays, since the two have exactly the same color (specified by the `--main-color` variable), this rule does nothing.
| -rw-r--r-- | src/librustdoc/html/static/css/rustdoc.css | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css index 8bfaaf21c8e..b0dcd36d6b3 100644 --- a/src/librustdoc/html/static/css/rustdoc.css +++ b/src/librustdoc/html/static/css/rustdoc.css @@ -222,7 +222,6 @@ details.rustdoc-toggle.non-exhaustive > summary::before, font-family: "Fira Sans", Arial, NanumBarunGothic, sans-serif; } -h1, h2, h3, h4, a#toggle-all-docs, a.anchor, .small-section-header a, |
