agda-web-docs-lib/dist/scripts/themeInit.js

Library for enhancing Agda-generated HTML documentation

(function() {
  // Check for theme preference in localStorage
  const savedTheme = localStorage.getItem('theme');
  if (savedTheme === 'dark') {
    document.documentElement.classList.add('dark-theme');
  }
})();