Update rustdoc_css_themes.rs to take into account new selectors

GuillaumeGomez · GuillaumeGomez · commit 2815edc67135 · 2024-04-03T14:27:20.000+02:00
diff --git 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

Original file line number	Diff line number	Diff line change
`@@ -74,8 +74,11 @@ fn compare_themes<'a>(`
`74`	`74`	`(noscript_css_line_number, noscript_css_line),`
`75`	`75`	`) in rustdoc_css_lines.zip(noscript_css_lines)`
`76`	`76`	`{`
`77`		`- if noscript_css_line.starts_with(":root {")`
`78`		`- && rustdoc_css_line.starts_with(&format!(r#":root[data-theme="{name}"] {{"#))`
	`77`	`+ if noscript_css_line.starts_with(":root, :root:not([data-theme]) {")`
	`78`	`+ && (rustdoc_css_line.starts_with(&format!(r#":root[data-theme="{name}"] {{"#))`
	`79`	`+ \|\| rustdoc_css_line.starts_with(&format!(`
	`80`	`+ r#":root[data-theme="{name}"], :root:not([data-theme]) {{"#`
	`81`	`+ )))`
`79`	`82`	`{`
`80`	`83`	`// selectors are different between rustdoc.css and noscript.css`
`81`	`84`	`// that's why they both exist: one uses JS, the other uses media queries`