diff options
| author | Guillaume Gomez <guillaume.gomez@huawei.com> | 2024-04-03 14:27:11 +0200 |
|---|---|---|
| committer | Guillaume Gomez <guillaume.gomez@huawei.com> | 2024-04-03 14:27:20 +0200 |
| commit | 2815edc671357649438dfac1bf3aca3aba07b71b (patch) | |
| tree | 07f8c9b7f0d861ad0f8ca848638d939ac32850bc | |
| parent | 8f9d93bf57cb1c74cd52581a980bc3accd01e5c4 (diff) | |
| download | rust-2815edc671357649438dfac1bf3aca3aba07b71b.tar.gz rust-2815edc671357649438dfac1bf3aca3aba07b71b.zip | |
Update `rustdoc_css_themes.rs` to take into account new selectors
| -rw-r--r-- | src/tools/tidy/src/rustdoc_css_themes.rs | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/tools/tidy/src/rustdoc_css_themes.rs b/src/tools/tidy/src/rustdoc_css_themes.rs index 852d6e14e91..af36f9ba58e 100644 --- a/src/tools/tidy/src/rustdoc_css_themes.rs +++ b/src/tools/tidy/src/rustdoc_css_themes.rs @@ -74,8 +74,11 @@ fn compare_themes<'a>( (noscript_css_line_number, noscript_css_line), ) in rustdoc_css_lines.zip(noscript_css_lines) { - if noscript_css_line.starts_with(":root {") - && rustdoc_css_line.starts_with(&format!(r#":root[data-theme="{name}"] {{"#)) + if noscript_css_line.starts_with(":root, :root:not([data-theme]) {") + && (rustdoc_css_line.starts_with(&format!(r#":root[data-theme="{name}"] {{"#)) + || rustdoc_css_line.starts_with(&format!( + r#":root[data-theme="{name}"], :root:not([data-theme]) {{"# + ))) { // selectors are different between rustdoc.css and noscript.css // that's why they both exist: one uses JS, the other uses media queries |