(function(){ try { var K = "ultracode_theme"; var t = localStorage.getItem(K); var dark = t ? t === "dark" : false; var el = document.documentElement; function apply(d) { if (d) { el.classList.add("dark"); el.classList.remove("theme-light","term-light"); } else { el.classList.remove("dark"); el.classList.add("theme-light","term-light"); } } apply(dark); /* Inject the switch after DOM ready */ function injectBtn() { if (document.getElementById("theme-toggle-btn")) return; var btn = document.createElement("button"); btn.id = "theme-toggle-btn"; var sunSVG = ''; var moonSVG = ''; /* This button is appended to , so it floats over BOTH design languages — THE BENCH on the public pages and the violet panels in admin. Its colours are therefore hardcoded here rather than read from a var, which makes it the one place a palette change is easiest to forget: a gold pill shipped here long after the gold was gone, and an ultramarine offset after that. It now carries the Bench inks — lime on the night stock, its text-legal partner #3F6A00 on the day stock. Inked like every other Bench control: 6px radius, a hairline, an opaque surface, and the accent arriving only on hover. No shadow and no press travel. There is no backdrop-filter here, so the Lightning CSS prefix trap cannot arise even though inline strings are exempt from it. */ var ACCENT_DAY = "#3F6A00", ACCENT_NIGHT = "#C8FF4D"; function setStyle(d) { btn.style.cssText = "position:fixed;bottom:1.5rem;right:1.5rem;z-index:99999;width:36px;height:36px;border-radius:6px;cursor:pointer;display:flex;align-items:center;justify-content:center;transition:border-color .12s linear;" + (d ? "background:#0B0E13;border:1px solid #2A323F;color:#EDF1F5;" : "background:#FFFFFF;border:1px solid #C2C8BA;color:#0B0E0C;"); btn.innerHTML = '' + (d ? sunSVG : moonSVG) + ''; /* Labelled as an edition switch, not a "mode": the two editions are the same publication printed on two stocks, and the label should say so. */ btn.title = d ? "Day edition" : "Night edition"; btn.setAttribute("aria-label", d ? "Switch to the day edition (light theme)" : "Switch to the night edition (dark theme)"); } setStyle(dark); btn.onmouseenter = function() { btn.style.borderColor = dark ? ACCENT_NIGHT : ACCENT_DAY; }; btn.onmouseleave = function() { setStyle(dark); }; btn.onclick = function() { dark = !dark; apply(dark); setStyle(dark); localStorage.setItem(K, dark ? "dark" : "light"); }; document.body.appendChild(btn); } if (document.readyState === "loading") { document.addEventListener("DOMContentLoaded", injectBtn); } else { injectBtn(); } } catch(e) { console.error("Theme init error:", e); } })();

Your account.