:root{--bg: #06070c;--ink: #eef2f6;--dim: rgba(238, 242, 246, .45);--faint: rgba(238, 242, 246, .28);--soft: rgba(238, 242, 246, .75);--line: rgba(255, 255, 255, .09);--hover: rgba(255, 255, 255, .03);--off: rgba(255, 255, 255, .15);--edge: rgba(255, 255, 255, .25);--gold: #ffcd33;--gold-glow: rgba(255, 205, 51, .45);--violet: #a887ff;--glow: rgba(79, 214, 236, .12);--veil: rgba(4, 5, 9, .82);--dock: rgba(10, 12, 18, .94);--glass: rgba(255, 255, 255, .05);--star: #eef2f6;--grain: .05;color-scheme:dark;--paper: var(--bg);--card: #11141c;--ink-2: rgba(238, 242, 246, .75);--ink-3: rgba(238, 242, 246, .45);--line-2: rgba(255, 255, 255, .18);--accent: #7b9cff;--accent-soft: rgba(123, 156, 255, .16);--def: #4fc4b2;--def-soft: rgba(79, 196, 178, .16);--rule: #a68fff;--rule-soft: rgba(166, 143, 255, .16);--cite: #f0b545;--cite-soft: rgba(240, 181, 69, .16);--assume: #e57aa6;--assume-soft: rgba(229, 122, 166, .16);--good: #6fd28e;--good-soft: rgba(111, 210, 142, .16);--bad: #ff7a6e;--bad-soft: rgba(255, 122, 110, .16)}@media(prefers-color-scheme:light){:root:not([data-theme=dark]){--bg: #f4f1e8;--ink: #1b1d24;--dim: rgba(27, 29, 36, .55);--faint: rgba(27, 29, 36, .38);--soft: rgba(27, 29, 36, .78);--line: rgba(0, 0, 0, .1);--hover: rgba(0, 0, 0, .03);--off: rgba(0, 0, 0, .14);--edge: rgba(0, 0, 0, .28);--gold: #c08c00;--gold-glow: rgba(192, 140, 0, .3);--violet: #7a52c7;--glow: rgba(79, 170, 200, .16);--veil: rgba(244, 241, 232, .88);--dock: rgba(250, 248, 242, .96);--glass: rgba(255, 255, 255, .7);--star: #1b1d24;--grain: .04;color-scheme:light;--paper: var(--bg);--card: #fffdf8;--ink-2: #4a5263;--ink-3: #8a90a0;--line-2: #d3cfc4;--accent: #3b63d6;--accent-soft: #e9eefc;--def: #1f8a7a;--def-soft: #e3f4f1;--rule: #6b55c9;--rule-soft: #eeebfb;--cite: #b77900;--cite-soft: #fdf3dd;--assume: #b0406f;--assume-soft: #fbe8f0;--good: #2f8f4e;--good-soft: #e5f5ea;--bad: #c0443a;--bad-soft: #fbe9e7}}:root[data-theme=light]{--bg: #f4f1e8;--ink: #1b1d24;--dim: rgba(27, 29, 36, .55);--faint: rgba(27, 29, 36, .38);--soft: rgba(27, 29, 36, .78);--line: rgba(0, 0, 0, .1);--hover: rgba(0, 0, 0, .03);--off: rgba(0, 0, 0, .14);--edge: rgba(0, 0, 0, .28);--gold: #c08c00;--gold-glow: rgba(192, 140, 0, .3);--violet: #7a52c7;--glow: rgba(79, 170, 200, .16);--veil: rgba(244, 241, 232, .88);--dock: rgba(250, 248, 242, .96);--glass: rgba(255, 255, 255, .7);--star: #1b1d24;--grain: .04;color-scheme:light;--paper: var(--bg);--card: #fffdf8;--ink-2: #4a5263;--ink-3: #8a90a0;--line-2: #d3cfc4;--accent: #3b63d6;--accent-soft: #e9eefc;--def: #1f8a7a;--def-soft: #e3f4f1;--rule: #6b55c9;--rule-soft: #eeebfb;--cite: #b77900;--cite-soft: #fdf3dd;--assume: #b0406f;--assume-soft: #fbe8f0;--good: #2f8f4e;--good-soft: #e5f5ea;--bad: #c0443a;--bad-soft: #fbe9e7}body.mh:after{content:"";position:fixed;inset:0;pointer-events:none;z-index:100;opacity:var(--grain);background-image:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' width='160' height='160'%3E%3Cfilter id='n'%3E%3CfeTurbulence baseFrequency='.9' numOctaves='2'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E")}.mh-chrome{user-select:none;-webkit-user-select:none}.mh-theme{color:var(--faint);font:inherit;font-size:11px;letter-spacing:.06em;background:none;border:0;padding:0;cursor:pointer}.mh-theme:hover{color:var(--ink)}@keyframes mh-swing{20%{transform:rotate3d(0,0,1,15deg)}40%{transform:rotate3d(0,0,1,-10deg)}60%{transform:rotate3d(0,0,1,5deg)}80%{transform:rotate3d(0,0,1,-5deg)}to{transform:rotate3d(0,0,1,0)}}.mh-logo{transform-origin:top center;animation:mh-swing 1s .4s both}@keyframes mh-swing2{20%{transform:rotate3d(0,0,1,15deg)}40%{transform:rotate3d(0,0,1,-10deg)}60%{transform:rotate3d(0,0,1,5deg)}80%{transform:rotate3d(0,0,1,-5deg)}to{transform:rotate3d(0,0,1,0)}}@media(prefers-reduced-motion:reduce){.mh-logo,.panel.open .mh-logo{animation:none}}*{scrollbar-width:thin;scrollbar-color:var(--off) transparent}::-webkit-scrollbar{width:8px;height:8px}::-webkit-scrollbar-track{background:transparent}::-webkit-scrollbar-thumb{background:var(--off);border-radius:99px;border:2px solid transparent;background-clip:padding-box}::-webkit-scrollbar-thumb:hover{background-color:var(--edge)}::-webkit-scrollbar-corner{background:transparent}