Fix CSS

GuillaumeGomez · GuillaumeGomez · commit 39c6b6c7d283 · 2025-04-07T17:28:46.000+02:00
diff --git a/src/librustdoc/html/static/css/rustdoc.css b/src/librustdoc/html/static/css/rustdoc.css
@@ -1447,7 +1447,7 @@ so that we can apply CSS-filters to change the arrow color in themes */
 	cursor: pointer;
 }
 .setting-check input {
-	flex-shrink: 0,
+	flex-shrink: 0;
 }
 
 .setting-radio input:checked {

Original file line number	Diff line number	Diff line change
`@@ -1447,7 +1447,7 @@ so that we can apply CSS-filters to change the arrow color in themes */`
`1447`	`1447`	`cursor: pointer;`
`1448`	`1448`	`}`
`1449`	`1449`	`.setting-check input {`
`1450`		`- flex-shrink: 0,`
	`1450`	`+ flex-shrink: 0;`
`1451`	`1451`	`}`
`1452`	`1452`
`1453`	`1453`	`.setting-radio input:checked {`