4c9e860150
* 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))
|
|
})
|