1 function setstyle(name, state = true) {
2 document.documentElement.classList.toggle('s-'+name, state);
5 (function prefstyle() {
6 const cookies = new Map(
7 document.cookie.split(';').map(v => v.trim().split('=', 2))
9 if ((pref = cookies.get('style'))) {
15 ['mono', '(monochrome)'],
16 ['dark', '(prefers-color-scheme: dark)'],
17 ['circus', '(prefers-contrast: more)'],
19 if (m = window.matchMedia(q))
20 (m.onchange = e => setstyle(c, e.matches))(m);