typst4ei 2.0.0

The Typst4EI building and serving tool/cli
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50

/*!
 * Color mode toggler for Bootstrap's docs (https://getbootstrap.com/)
 * Copyright 2011-2025 The Bootstrap Authors
 * Licensed under the Creative Commons Attribution 3.0 Unported License.
 */

(() => {
    'use strict'

    const getStoredTheme = () => localStorage.getItem('theme')
    const setStoredTheme = theme => localStorage.setItem('theme', theme)

    const getPreferredTheme = () => {
	const storedTheme = getStoredTheme()
	if (storedTheme) {
	    return storedTheme
	}

	return window.matchMedia('(prefers-color-scheme: dark)').matches ? 'dark' : 'light'
    }

    const setTheme = theme => {
	if (theme === 'auto') {
	    document.documentElement.setAttribute('data-bs-theme', (window.matchMedia('(prefers-color-scheme: dark)').matches ? 'dark' : 'light'))
	} else {
	    document.documentElement.setAttribute('data-bs-theme', theme)
	}
    }

    const toggleLogo = (theme) => {
	if (theme === 'light') {
	    document.getElementById('logo-dark').classList.add('d-none')
	    document.getElementById('logo-light').classList.remove('d-none')
	} else if (theme === 'dark') {
	    document.getElementById('logo-dark').classList.remove('d-none')
	    document.getElementById('logo-light').classList.add('d-none')
	}
    }

    setTheme(getPreferredTheme())
    toggleLogo(getPreferredTheme())

    window.matchMedia('(prefers-color-scheme: dark)').addEventListener('change', () => {
	const storedTheme = getStoredTheme()
	if (storedTheme !== 'light' && storedTheme !== 'dark') {
	    setTheme(getPreferredTheme())
	    toggleLogo(getPreferredTheme());
	}
    })
})()