pj/margin
1
0 Fork 0
mirror of https://github.com/priyanshujain/margin.git synced 2026-10-02 11:07:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

changes

Browse Source
This commit is contained in:
pj committed 2026-06-21 14:37:02 -04:00
1 parent 47710970c2
commit fa1c89af63
7 files changed
+213 -1
Download Patch File Download Diff File Expand all files Collapse all files

No files matched your search

index.html
+10
View File
@@ -11,6 +11,16 @@
if (t !== "light" && t !== "dark")
t = matchMedia("(prefers-color-scheme: dark)").matches ? "dark" : "light";
document.documentElement.setAttribute("data-theme", t);
var w = localStorage.getItem("margin-width");
var m = { narrow: "38em", medium: "46em", wide: "62em", full: "80em" }[w];
if (m) document.documentElement.style.setProperty("--measure", m);
[
["margin-pane-sidebar", "--pane-sidebar"],
["margin-pane-dock", "--pane-dock"],
].forEach(function (p) {
var v = parseInt(localStorage.getItem(p[0]), 10);
if (v > 0) document.documentElement.style.setProperty(p[1], v + "px");
});
} catch (e) {}
})();
</script>