* Use a `<button>` for theme toggle * docs: Adds back Xinyang's cs garden to showcase (#1323) adding back my garden which was deleted from the cleanup showcase * feat(toc,explorer): add accessibility for toggle (#1327) * Restore focus highlight on explorer toggle button. Remove `unset: all` declaration causing `outline` property to be unset. This allows the default browser focus highlight to be shown. * Fix semantics of expandable sections (explorer, toc). This adds the appropriate aria attributes for the [disclosure pattern](https://www.w3.org/WAI/ARIA/apg/patterns/disclosure/examples/disclosure-image-description/#javascriptandcsssourcecode) and uses `visibility: hidden` to remove the hidden elements from the focus order without disrupting the animations. Further work is needed on the tree view nodes. * Run prettier for SCSS files. * feat: custom global latex macros (closes #1325) * chore: ts fixes * docs: recommend at least node 20 in gh * fix: unmemoize explorer on rebuild (closes #1077) * fix: pass buildId to worker * Fix theme button DOM hierarchy and styles * Restore functionality of theme button * `aria-label` on theme svgs so their accessible labels are included in button content --------- Co-authored-by: Xinyang Yu <47915643+xy-241@users.noreply.github.com> Co-authored-by: Jacky Zhao <j.zhao2k19@gmail.com>
		
			
				
	
	
		
			38 lines
		
	
	
		
			1.5 KiB
		
	
	
	
		
			TypeScript
		
	
	
	
	
	
			
		
		
	
	
			38 lines
		
	
	
		
			1.5 KiB
		
	
	
	
		
			TypeScript
		
	
	
	
	
	
const userPref = window.matchMedia("(prefers-color-scheme: light)").matches ? "light" : "dark"
 | 
						|
const currentTheme = localStorage.getItem("theme") ?? userPref
 | 
						|
document.documentElement.setAttribute("saved-theme", currentTheme)
 | 
						|
 | 
						|
const emitThemeChangeEvent = (theme: "light" | "dark") => {
 | 
						|
  const event: CustomEventMap["themechange"] = new CustomEvent("themechange", {
 | 
						|
    detail: { theme },
 | 
						|
  })
 | 
						|
  document.dispatchEvent(event)
 | 
						|
}
 | 
						|
 | 
						|
document.addEventListener("nav", () => {
 | 
						|
  const switchTheme = (e: Event) => {
 | 
						|
    const newTheme =
 | 
						|
      document.documentElement.getAttribute("saved-theme") === "dark" ? "light" : "dark"
 | 
						|
    document.documentElement.setAttribute("saved-theme", newTheme)
 | 
						|
    localStorage.setItem("theme", newTheme)
 | 
						|
    emitThemeChangeEvent(newTheme)
 | 
						|
  }
 | 
						|
 | 
						|
  const themeChange = (e: MediaQueryListEvent) => {
 | 
						|
    const newTheme = e.matches ? "dark" : "light"
 | 
						|
    document.documentElement.setAttribute("saved-theme", newTheme)
 | 
						|
    localStorage.setItem("theme", newTheme)
 | 
						|
    emitThemeChangeEvent(newTheme)
 | 
						|
  }
 | 
						|
 | 
						|
  // Darkmode toggle
 | 
						|
  const themeButton = document.querySelector("#darkmode") as HTMLButtonElement
 | 
						|
  themeButton.addEventListener("click", switchTheme)
 | 
						|
  window.addCleanup(() => themeButton.removeEventListener("click", switchTheme))
 | 
						|
 | 
						|
  // Listen for changes in prefers-color-scheme
 | 
						|
  const colorSchemeMediaQuery = window.matchMedia("(prefers-color-scheme: dark)")
 | 
						|
  colorSchemeMediaQuery.addEventListener("change", themeChange)
 | 
						|
  window.addCleanup(() => colorSchemeMediaQuery.removeEventListener("change", themeChange))
 | 
						|
})
 |