Fix system theme detection

GuillaumeGomez · GuillaumeGomez · commit fcbbf8d312c0 · 2019-08-25T12:37:24.000+02:00
diff --git a/src/librustdoc/html/static/storage.js b/src/librustdoc/html/static/storage.js
@@ -118,7 +118,8 @@ function switchTheme(styleElem, mainStyleElem, newTheme, saveTheme) {
 }
 
 function getSystemValue() {
-    return getComputedStyle(document.documentElement).getPropertyValue('content');
+    var property = getComputedStyle(document.documentElement).getPropertyValue('content');
+    return property.replace(/\"\'/g, "");
 }
 
 switchTheme(currentTheme, mainTheme,

Original file line number	Diff line number	Diff line change
`@@ -118,7 +118,8 @@ function switchTheme(styleElem, mainStyleElem, newTheme, saveTheme) {`
`118`	`118`	`}`
`119`	`119`
`120`	`120`	`function getSystemValue() {`
`121`		`- return getComputedStyle(document.documentElement).getPropertyValue('content');`
	`121`	`+ var property = getComputedStyle(document.documentElement).getPropertyValue('content');`
	`122`	`+ return property.replace(/\"\'/g, "");`
`122`	`123`	`}`
`123`	`124`
`124`	`125`	`switchTheme(currentTheme, mainTheme,`