dhall-docs: dark mode - default to browser settings (#2582)

dhall-lang · May 11, 2024 · e281834 · e281834
1 parent 43fa086
commit e281834
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/dhall-docs/src/Dhall/data/assets/index.js b/dhall-docs/src/Dhall/data/assets/index.js
@@ -2,7 +2,8 @@ const DARK_MODE_OPT = 'dark-mode'
 const DARK_MODE_ACTIVE = 'dark-mode-active'
 const DARK_MODE_INACTIVE = 'dark-mode-inactive'
 
-if (localStorage.getItem(DARK_MODE_OPT) == DARK_MODE_ACTIVE) {
+if (!localStorage.hasOwnProperty(DARK_MODE_OPT) && window.matchMedia('(prefers-color-scheme: dark)').matches
+    || localStorage.getItem(DARK_MODE_OPT) == DARK_MODE_ACTIVE) {
   document.documentElement.classList.add('dark-mode')
 }