From: John Benediktsson Date: Sun, 7 Aug 2022 00:44:21 +0000 (-0700) Subject: webapps.wiki: adding wiki.js X-Git-Tag: 0.99~1188 X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=commitdiff_plain;h=b3293f7e891937d98664c289033e77d0b039e7be webapps.wiki: adding wiki.js --- diff --git a/extra/webapps/wiki/wiki.js b/extra/webapps/wiki/wiki.js new file mode 100644 index 0000000000..80112a9358 --- /dev/null +++ b/extra/webapps/wiki/wiki.js @@ -0,0 +1,14 @@ +function toggleSidebar() { + var l = document.getElementById("left"); + var m = document.getElementById("menu"); + if (l.style.display === "") { + l.style.display = "inline"; + var darkMode = window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches; + if (!darkMode) { + m.style.backgroundColor = "#f3f2ea"; + } + } else { + l.style.display = ""; + m.style.backgroundColor = ""; + } +}