Docs: initialize theme earlier to avoid flicker

Follow-on to aantron#268.
dysinger · Sep 28, 2023 · 4c5968c · 4c5968c
1 parent 6348203
commit 4c5968c
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/docs/web/site/docs.js b/docs/web/site/docs.js
@@ -52,7 +52,7 @@ window.onscroll = scroll;
 
 /* Theme mode */
 
-var THEME_MODE_KEY = "dream-theme" 
+var THEME_MODE_KEY = "dream-theme"
 
 function apply_theme(theme) {
   if (theme === "light") {
@@ -73,11 +73,13 @@ function init_theme() {
   var default_theme = "dark";
   var stored_theme = localStorage.getItem(THEME_MODE_KEY) || default_theme;
   apply_theme(stored_theme);
+}
 
+function prepare_button() {
   var theme_toggle_button = document.querySelector(".toggle-theme-btn");
   if (theme_toggle_button) {
     theme_toggle_button.addEventListener("click", toggle_theme);
   }
 }
 
-document.addEventListener("DOMContentLoaded", init_theme);
+document.addEventListener("DOMContentLoaded", prepare_button);
diff --git a/docs/web/templates/index.html b/docs/web/templates/index.html
@@ -24,6 +24,10 @@
 </head>
 <body class="index">
 
+<script>
+init_theme();
+</script>
+
 <header>
   <div class="topmost">
     <div class="titles">