From 4d1ed22dede531108c8a7899d513f64f0662c135 Mon Sep 17 00:00:00 2001 From: Strek Date: Wed, 6 Jul 2022 08:35:12 +0530 Subject: [PATCH] docs: preselect default theme (#16098) --- docs/src/assets/js/themes.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/src/assets/js/themes.js b/docs/src/assets/js/themes.js index 5f083a1a445..e6071b21983 100644 --- a/docs/src/assets/js/themes.js +++ b/docs/src/assets/js/themes.js @@ -16,7 +16,7 @@ dark_theme_toggle = document.getElementById('dark-theme-toggle'); // get any previously-chosen themes - var theme = window.localStorage.getItem("theme"); + var theme = document.documentElement.getAttribute('data-theme'); if (theme == "light") { enableToggle(light_theme_toggle);