/* AlephZero — design system.
   Tokens and homepage components follow temp/alephzero-home-v2.html (the reference
   implementation); article/archive/announcements/palette layers extend it. */

/* ================= FACES ================= */
/* Newsreader — editorial reading face */
@font-face { font-family: "Newsreader"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/newsreader/newsreader-400.606d3683d405.ttf") format("truetype"); }
@font-face { font-family: "Newsreader"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/newsreader/newsreader-700.55208650c06d.ttf") format("truetype"); }
@font-face { font-family: "Newsreader"; font-style: italic; font-weight: 400; font-display: swap;
  src: url("../fonts/newsreader/newsreader-400-italic.12a207e3e0cf.ttf") format("truetype"); }

/* Space Grotesk — display and interface headings */
@font-face { font-family: "Space Grotesk"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/space-grotesk/space-grotesk-400.1590f1cda578.ttf") format("truetype"); }
@font-face { font-family: "Space Grotesk"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/space-grotesk/space-grotesk-500.4fb435f07dde.ttf") format("truetype"); }
@font-face { font-family: "Space Grotesk"; font-style: normal; font-weight: 600; font-display: swap;
  src: url("../fonts/space-grotesk/space-grotesk-600.e553a4de3dac.ttf") format("truetype"); }

/* Libertinus remains only as a mathematical and Greek fallback. */
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-400-normal.17be673f9065.woff2") format("woff2");
  unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-ext-400-normal.cfe8f85e75eb.woff2") format("woff2");
  unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-greek-400-normal.3cf6f49938bd.woff2") format("woff2");
  unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
/* ℵ, subscript digits, √ — subset from the Libertinus release (Fontsource ranges omit them) */
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-symbols-400-normal.46284e8bc7ca.woff2") format("woff2");
  unicode-range: U+2080-2089,U+2135,U+221A; }
@font-face { font-family: "Libertinus Serif"; font-style: italic; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-400-italic.774aded17ad1.woff2") format("woff2");
  unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family: "Libertinus Serif"; font-style: italic; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-ext-400-italic.11486be4a774.woff2") format("woff2");
  unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Libertinus Serif"; font-style: italic; font-weight: 400; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-greek-400-italic.15602cce8603.woff2") format("woff2");
  unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-700-normal.583ab70b9307.woff2") format("woff2");
  unicode-range: U+0000-00FF,U+0131,U+0152-0153,U+02BB-02BC,U+02C6,U+02DA,U+02DC,U+0304,U+0308,U+0329,U+2000-206F,U+20AC,U+2122,U+2191,U+2193,U+2212,U+2215,U+FEFF,U+FFFD; }
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-latin-ext-700-normal.1ac51de2f024.woff2") format("woff2");
  unicode-range: U+0100-02BA,U+02BD-02C5,U+02C7-02CC,U+02CE-02D7,U+02DD-02FF,U+0304,U+0308,U+0329,U+1D00-1DBF,U+1E00-1E9F,U+1EF2-1EFF,U+2020,U+20A0-20AB,U+20AD-20C0,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Libertinus Serif"; font-style: normal; font-weight: 700; font-display: swap;
  src: url("../fonts/libertinus/libertinus-serif-greek-700-normal.bddad64ec15d.woff2") format("woff2");
  unicode-range: U+0370-0377,U+037A-037F,U+0384-038A,U+038C,U+038E-03A1,U+03A3-03FF; }

/* Iosevka — ℵ-numbers, data, code, metadata, UI (subset: ASCII+Greek+arrows+⌘+ℵ) */
@font-face { font-family: "Iosevka"; font-style: normal; font-weight: 400; font-display: swap;
  src: url("../fonts/iosevka/iosevka-latin-400-normal.fa9812e7fe0e.woff2") format("woff2"); }
@font-face { font-family: "Iosevka"; font-style: normal; font-weight: 500; font-display: swap;
  src: url("../fonts/iosevka/iosevka-latin-500-normal.1c02fb892408.woff2") format("woff2"); }
@font-face { font-family: "Iosevka"; font-style: normal; font-weight: 600; font-display: swap;
  src: url("../fonts/iosevka/iosevka-latin-600-normal.5525fdd02b57.woff2") format("woff2"); }

/* ================= TOKENS ================= */
:root {
  --paper:        #F6F7F9;
  --paper-raised: #FFFFFF;
  --ink:          #131A24;
  --ink-muted:    #5B6672;
  --rule:         #DDE1E6;
  --ghost:        #C3C9D0;

  /* topic inks — semantic only: ℵ-number, topic label, focus ring */
  --ink-math: #2E5BD3;
  --ink-prog: #16916A;
  --ink-cs:   #A06E10;
  --ink-ai:   #8043B0;

  /* difficulty scale (easy → hard), used only for the difficulty number */
  --d1:#1F9D57; --d2:#159AA8; --d3:#3A6FD0; --d4:#8A52C9; --d5:#D17A1A; --d6:#CF3B2F;

  --font-serif: "Newsreader", "Libertinus Serif", Georgia, serif;
  --font-display: "Space Grotesk", Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  --font-mono:  "Iosevka", "IBM Plex Mono", ui-monospace, "SF Mono", Menlo, Consolas, monospace;
  --radius: 2px;
  --measure: 66ch;
  --shadow: 0 1px 2px rgba(19,26,36,.04), 0 8px 24px rgba(19,26,36,.05);
  --stat-hover-text: #131A24;
  color-scheme: light;
}

/* Dark tokens — keep the two copies below in sync.
   1) OS prefers dark and the user has not chosen light. */
@media (prefers-color-scheme: dark) {
  html:not([data-theme="light"]) {
    --paper:        #10141B;
    --paper-raised: #171D26;
    --ink:          #E6E9ED;
    --ink-muted:    #93A0AE;
    --rule:         #262E3A;
    --ghost:        #333B47;
    --ink-math: #7B9BE8; --ink-prog: #5FB394; --ink-cs: #C29A5A; --ink-ai: #B189C4;
    --d1:#4AC97E; --d2:#46C2D8; --d3:#7B9BE8; --d4:#B98CF0; --d5:#E0913A; --d6:#E0574A;
    --shadow: 0 1px 2px rgba(0,0,0,.3), 0 10px 30px rgba(0,0,0,.35);
    --stat-hover-text: #FFFFFF;
    color-scheme: dark;
  }
}
/* 2) The user chose dark explicitly. */
html[data-theme="dark"] {
  --paper:        #10141B;
  --paper-raised: #171D26;
  --ink:          #E6E9ED;
  --ink-muted:    #93A0AE;
  --rule:         #262E3A;
  --ghost:        #333B47;
  --ink-math: #7B9BE8; --ink-prog: #5FB394; --ink-cs: #C29A5A; --ink-ai: #B189C4;
  --d1:#4AC97E; --d2:#46C2D8; --d3:#7B9BE8; --d4:#B98CF0; --d5:#E0913A; --d6:#E0574A;
  --shadow: 0 1px 2px rgba(0,0,0,.3), 0 10px 30px rgba(0,0,0,.35);
  --stat-hover-text: #FFFFFF;
  color-scheme: dark;
}

/* ================= BASE ================= */
* { box-sizing: border-box; }
body {
  margin: 0; background: var(--paper); color: var(--ink);
  font-family: var(--font-serif); font-size: 1.125rem; line-height: 1.65;
  transition: background-color .35s ease, color .35s ease;
  --focus: var(--ink);
}
body > main, body > footer.site { position: relative; z-index: 1; }
body[data-ink="math"] { --focus: var(--ink-math); }
body[data-ink="prog"] { --focus: var(--ink-prog); }
body[data-ink="cs"]   { --focus: var(--ink-cs); }
body[data-ink="ai"]   { --focus: var(--ink-ai); }

a { color: inherit; text-decoration: none; }
:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; border-radius: 1px; }
::selection { background: color-mix(in srgb, var(--focus) 18%, transparent); }

.skip-link { position: absolute; left: -9999px; top: 0; z-index: 100;
  font-family: var(--font-mono); font-size: .8rem; background: var(--paper-raised);
  color: var(--ink); border: 1px solid var(--rule); padding: 8px 12px; border-radius: var(--radius); }
.skip-link:focus-visible { left: 12px; top: 12px; }
.sr-only { position: absolute !important; width: 1px; height: 1px; padding: 0; overflow: hidden; clip: rect(0,0,0,0); clip-path: inset(50%); white-space: nowrap; border: 0; }

.meta { font-family: var(--font-mono); font-size: .8125rem; letter-spacing: .02em; color: var(--ink-muted); }
.dot { color: var(--ghost); }

.aleph { font-family: var(--font-mono); font-variant-numeric: tabular-nums; letter-spacing: .06em; font-weight: 500; white-space: nowrap; }
.aleph .ax { font-family: var(--font-serif); font-style: normal; font-weight: 400; }
.k-math { color: var(--ink-math); } .k-prog { color: var(--ink-prog); }
.k-cs   { color: var(--ink-cs);   } .k-ai   { color: var(--ink-ai);   }
.catlabel { font-family: var(--font-mono); font-size: .8125rem; letter-spacing: .02em; font-weight: 500; }

/* difficulty: monospace, value-colored; always a small chip, never a headline */
.diff { font-family: var(--font-mono); font-weight: 600; font-variant-numeric: tabular-nums; letter-spacing: .01em; font-size: .8125rem; }
.diff.d1{color:var(--d1)} .diff.d2{color:var(--d2)} .diff.d3{color:var(--d3)}
.diff.d4{color:var(--d4)} .diff.d5{color:var(--d5)} .diff.d6{color:var(--d6)}

/* JS-only affordances disappear when scripting is off */
html.no-js .js-only { display: none !important; }

/* ================= AMBIENT SYMBOL FIELD =================
   Three independently moving depths, freshly randomized per page load in site.js. */
.ambient-field { position: fixed; inset: 0; z-index: 0; overflow: hidden; pointer-events: none; contain: strict; opacity: .58; }
.ambient-layer { position: absolute; inset: -14vh -10vw; overflow: hidden; will-change: transform; }
.ambient-track { position: absolute; left: 0; top: 0; width: 100%; height: 256vh; will-change: transform; }
.ambient-cloud { position: absolute; left: 0; right: 0; top: 0; height: 128vh; will-change: transform; }
.ambient-cloud + .ambient-cloud { top: 128vh; }
.ambient-symbol { position: absolute; left: var(--symbol-x); top: var(--symbol-y);
  color: var(--symbol-color); opacity: var(--symbol-alpha); font-family: var(--font-mono);
  font-size: var(--symbol-size); font-weight: 500; line-height: 1; white-space: nowrap;
  transform: translate(-50%, -50%) rotate(var(--symbol-rotate)); transform-origin: center;
  mix-blend-mode: multiply; text-shadow: 0 0 18px color-mix(in srgb, currentColor 8%, transparent); }
.ambient-far .ambient-cloud { animation: ambient-drift-far 46s ease-in-out infinite alternate; }
.ambient-mid .ambient-cloud { animation: ambient-drift-mid 37s ease-in-out infinite alternate-reverse; }
.ambient-near .ambient-cloud { animation: ambient-drift-near 29s ease-in-out infinite alternate; }
@keyframes ambient-drift-far { from { transform: translate3d(-.8%, 0, 0); } to { transform: translate3d(1.1%, 0, 0); } }
@keyframes ambient-drift-mid { from { transform: translate3d(1.1%, 0, 0); } to { transform: translate3d(-1.4%, 0, 0); } }
@keyframes ambient-drift-near { from { transform: translate3d(-1.2%, 0, 0); } to { transform: translate3d(1.6%, 0, 0); } }
html[data-theme="dark"] .ambient-field { opacity: .74; }
html[data-theme="dark"] .ambient-symbol { mix-blend-mode: screen; }
@media (prefers-color-scheme: dark) {
  html:not([data-theme="light"]) .ambient-field { opacity: .74; }
  html:not([data-theme="light"]) .ambient-symbol { mix-blend-mode: screen; }
}

/* ================= HEADER ================= */
header.site {
  position: sticky; top: 0; z-index: 40;
  background: color-mix(in srgb, var(--paper) 88%, transparent);
  backdrop-filter: saturate(1.4) blur(8px);
  border-bottom: 1px solid var(--rule);
  transition: background-color .35s ease, border-color .35s ease;
}
.bar { max-width: 1080px; margin: 0 auto; padding: 0 24px; height: 60px; display: flex; align-items: center; justify-content: space-between; gap: 16px; }
.bar .left { display: flex; align-items: center; gap: 28px; min-width: 0; }
.brand { display: flex; align-items: baseline; gap: 9px; }
.brand .mark { font-family: var(--font-serif); font-size: 1.5rem; line-height: 1; }
.brand .name { font-family: var(--font-display); font-weight: 600; font-size: .98rem; letter-spacing: -.015em; }
nav.sections { display: flex; align-items: center; gap: 4px; }
.nav-link { font-family: var(--font-mono); font-size: .82rem; letter-spacing: .02em; color: var(--ink-muted); padding: 7px 11px; border-radius: var(--radius); background: none; border: 0; cursor: pointer; transition: color .15s, background .15s; text-decoration: none; display: inline-block; }
.nav-link:hover { color: var(--ink); background: color-mix(in srgb, var(--ink) 6%, transparent); }
.nav-link[aria-current="page"] { color: var(--ink); }
.bar .right { display: flex; align-items: center; gap: 10px; }
.kbd { display: inline-flex; align-items: center; gap: 8px; font-family: var(--font-mono); font-size: .76rem; color: var(--ink-muted); padding: 6px 10px 6px 11px; border: 1px solid var(--rule); border-radius: 6px; background: none; cursor: pointer; transition: border-color .15s, color .15s; }
.kbd:hover { border-color: var(--ghost); color: var(--ink); }
.kbd .keys { font-size: .72rem; padding: 1px 5px; border: 1px solid var(--rule); border-radius: 3px; }
.icon-btn { width: 34px; height: 34px; display: grid; place-items: center; border: 1px solid var(--rule); border-radius: 6px; background: none; cursor: pointer; color: var(--ink-muted); transition: border-color .15s, color .15s; }
.icon-btn:hover { color: var(--ink); border-color: var(--ghost); }
.icon-btn svg { width: 17px; height: 17px; }
.theme-moon[hidden], .theme-sun[hidden] { display: none !important; }
.theme-transitioning *, .theme-transitioning *::before, .theme-transitioning *::after {
  transition-property: color, background-color, border-color, box-shadow, fill, stroke !important;
  transition-duration: .38s !important;
  transition-timing-function: ease !important;
}
.btn-ghost, .btn-solid { font-family: var(--font-mono); font-size: .8rem; letter-spacing: .01em; padding: 7px 14px; border-radius: 6px; cursor: pointer; transition: all .15s; border: 1px solid transparent; display: inline-block; white-space: nowrap; }
.btn-ghost { background: none; color: var(--ink); }
.btn-ghost:hover { border-color: var(--rule); }
.btn-solid { background: var(--ink); border-color: var(--ink); color: var(--paper); font-weight: 500; }
.btn-solid:hover { opacity: .88; }
.auth-guest { display: flex; align-items: center; gap: 4px; }
.auth-user { display: none; }
body.signed-in .auth-guest { display: none; }
body.signed-in .auth-user { display: flex; }
.avatar { width: 34px; height: 34px; border-radius: 50%; border: 1px solid color-mix(in srgb, var(--avatar-color, var(--ink-ai)) 68%, var(--rule)); background: var(--avatar-color, var(--ink-ai)); color: #fff; font-family: var(--font-mono); font-weight: 600; font-size: .72rem; display: grid; place-items: center; cursor: pointer; box-shadow: 0 0 18px color-mix(in srgb, var(--avatar-color, var(--ink-ai)) 18%, transparent); }
.auth-user.account-menu { position: relative; display: block; }
.account-menu-panel { position: absolute; right: 0; top: calc(100% + 11px); z-index: 70; width: 230px; overflow: hidden; border: 1px solid var(--rule); border-radius: 12px; background: color-mix(in srgb, var(--paper-raised) 96%, transparent); box-shadow: 0 18px 52px rgba(10,17,28,.2); backdrop-filter: blur(15px); font-family: var(--font-display); }
.account-menu-panel[hidden] { display: none; }
.account-menu-panel::before { content: ""; position: absolute; right: 12px; top: -6px; width: 10px; height: 10px; transform: rotate(45deg); border-left: 1px solid var(--rule); border-top: 1px solid var(--rule); background: var(--paper-raised); }
.account-menu-panel header { display: grid; gap: 1px; padding: 15px 16px 12px; border-bottom: 1px solid var(--rule); }
.account-menu-panel header strong { font-size: .83rem; line-height: 1.25; }
.account-menu-panel header span { color: var(--ink-muted); font-family: var(--font-mono); font-size: .56rem; letter-spacing: .1em; text-transform: uppercase; }
.account-menu-panel nav { display: grid; padding: 6px; }
.account-menu-panel nav a { display: grid; gap: 1px; padding: 9px 10px; border-radius: 7px; }
.account-menu-panel nav a:hover { background: color-mix(in srgb, var(--ink) 6%, transparent); }
.account-menu-panel nav span { font-size: .78rem; font-weight: 600; line-height: 1.25; }
.account-menu-panel nav span, .mobile-nav-utilities a > span { display: flex; align-items: center; gap: 7px; }
.account-unread-square { display: inline-block; width: 7px; height: 7px; flex: 0 0 7px; border-radius: 1px; background: #d84c45; box-shadow: 0 0 0 2px color-mix(in srgb, #d84c45 12%, transparent); }
.account-menu-panel .account-unread-square, .mobile-nav-utilities .account-unread-square { margin-left: 0; }
.account-menu-panel nav small { color: var(--ink-muted); font-size: .65rem; }
.account-menu-panel form { padding: 6px; border-top: 1px solid var(--rule); }
.account-menu-panel form button { width: 100%; padding: 9px 10px; border: 0; border-radius: 7px; background: none; color: #c4453b; font: 600 .76rem var(--font-display); text-align: left; cursor: pointer; }
.account-menu-panel form button:hover { background: color-mix(in srgb, #c4453b 9%, transparent); }
.nav-toggle { display: none; width: 38px; height: 34px; padding: 8px; border: 1px solid var(--rule); border-radius: 6px; background: none; color: var(--ink); cursor: pointer; }
.nav-toggle span { display: block; width: 100%; height: 1px; margin: 4px 0; background: currentColor; transform-origin: center; transition: transform .2s ease, opacity .2s ease; }
.nav-toggle[aria-expanded="true"] span:nth-child(1) { transform: translateY(5px) rotate(45deg); }
.nav-toggle[aria-expanded="true"] span:nth-child(2) { opacity: 0; }
.nav-toggle[aria-expanded="true"] span:nth-child(3) { transform: translateY(-5px) rotate(-45deg); }
.mobile-nav { display: none; }

/* ================= FRONT PAGE ================= */
main.wrap { max-width: 1080px; margin: 0 auto; padding: 40px 24px 0; }

@property --hero-sweep { syntax: "<angle>"; inherits: false; initial-value: 0deg; }
.hero { position: relative; isolation: isolate; overflow: hidden; border: 2px solid var(--ink); border-radius: var(--radius);
  background:
    radial-gradient(circle at 88% 14%, color-mix(in srgb, var(--ink-ai) 7%, transparent), transparent 28%),
    radial-gradient(circle at 8% 92%, color-mix(in srgb, var(--ink-math) 6%, transparent), transparent 31%),
    var(--paper-raised);
  padding: 46px 38px 36px; margin-bottom: 48px;
  box-shadow: inset 0 0 36px color-mix(in srgb, var(--ink) 3%, transparent), var(--shadow); }
/* traveling brightness along the outline: a conic wedge masked to the border ring */
.hero::before { content: ""; position: absolute; inset: -2px; z-index: 5; border-radius: inherit; padding: 3px; pointer-events: none;
  background: conic-gradient(from var(--hero-sweep), transparent 0deg, transparent 8deg, color-mix(in srgb, var(--ink) 28%, transparent) 20deg, var(--ink) 34deg, color-mix(in srgb, var(--ink) 24%, transparent) 52deg, transparent 72deg);
  -webkit-mask: linear-gradient(#fff 0 0) content-box, linear-gradient(#fff 0 0);
  -webkit-mask-composite: xor; mask-composite: exclude;
  filter: drop-shadow(0 0 5px color-mix(in srgb, var(--ink) 36%, transparent));
  animation: hero-sweep 4.8s linear infinite; }
.hero::after { content: ""; position: absolute; inset: -45% -25%; z-index: 1; pointer-events: none;
  background: linear-gradient(108deg, transparent 38%, color-mix(in srgb, var(--ink) 2%, transparent) 44%, color-mix(in srgb, var(--ink) 9%, transparent) 49%, color-mix(in srgb, #fff 18%, transparent) 52%, transparent 59%);
  transform: translateX(-65%) rotate(.001deg); mix-blend-mode: soft-light;
  animation: hero-shine 7.5s cubic-bezier(.45,0,.2,1) infinite; }
@keyframes hero-sweep { to { --hero-sweep: 360deg; } }
@keyframes hero-shine { 0%, 20% { transform: translateX(-68%); } 58%, 100% { transform: translateX(68%); } }

.hero > :not(.hero-cipher) { position: relative; z-index: 2; }
.hero-cipher { position: absolute; inset: 0; z-index: 0; overflow: hidden; pointer-events: none;
  -webkit-mask-image: radial-gradient(ellipse 95% 100% at 50% 50%, #000 28%, rgba(0,0,0,.72) 72%, transparent 100%);
  mask-image: radial-gradient(ellipse 95% 100% at 50% 50%, #000 28%, rgba(0,0,0,.72) 72%, transparent 100%); }
.hero-symbol-layer { position: absolute; inset: 0; overflow: hidden; }
.hero-symbol-plane { position: absolute; inset: -8%; overflow: hidden; }
.hero-symbol-track { position: absolute; inset: 0; will-change: transform; animation: hero-digit-drift var(--hero-drift-duration) linear infinite; animation-delay: var(--hero-drift-delay); }
.hero-symbol-tile { position: absolute; left: 0; top: 0; width: 100%; height: 100%; }
.hero-symbol-tile:nth-child(2) { left: 100%; }
.hero-symbol-tile:nth-child(3) { top: -100%; }
.hero-symbol-tile:nth-child(4) { left: 100%; top: -100%; }
.hero-symbol { position: absolute; left: var(--hero-x); top: var(--hero-y); color: var(--ink);
  opacity: var(--hero-alpha); font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
  font-size: var(--hero-size); font-weight: var(--hero-weight);
  line-height: 1; white-space: nowrap; transform: translate(-50%, -50%) rotate(var(--hero-rotate));
  text-shadow: 0 0 18px color-mix(in srgb, currentColor 8%, transparent); }
@keyframes hero-digit-drift { from { transform: translate3d(0, 0, 0); } to { transform: translate3d(-100%, 100%, 0); } }

.hero-title { font-family: var(--font-display); font-weight: 600; letter-spacing: -.025em; font-size: clamp(1.65rem, 3.9vw, 2.9rem); line-height: 1.12; margin: 0; text-shadow: 0 1px 0 color-mix(in srgb, #fff 18%, transparent), 0 0 24px color-mix(in srgb, var(--ink) 5%, transparent); }
.hero-title .ht-word { white-space: nowrap; }
.hero-title .ht-ch { display: inline-block; text-align: center; transition: color .08s ease, text-shadow .08s ease; }
.hero-title .ht-ch.glitching { color: var(--ink-math); text-shadow: 1px 0 var(--ink-ai), -1px 0 var(--ink-prog), 0 0 10px currentColor; }
.hero-sub { font-family: var(--font-serif); font-size: 1.16rem; color: var(--ink-muted); margin: 16px 0 0; max-width: 54ch; }

.hero-stats { display: grid; grid-template-columns: repeat(4, 1fr); gap: 12px; margin-top: 34px; }
.hero-stats .stat { position: relative; overflow: hidden; border: 2px solid var(--ink); border-radius: var(--radius); padding: 15px 8px 16px; background: color-mix(in srgb, var(--paper-raised) 82%, transparent); transition: transform .25s ease, box-shadow .25s ease; }
.hero-stats .stat::before { content: ""; position: absolute; inset: -24%; opacity: 0; transform: scale(.88) rotate(-4deg); transition: opacity .32s ease, transform .42s cubic-bezier(.2,.7,.2,1);
  background:
    radial-gradient(circle at var(--mx, 50%) var(--my, 45%), rgba(76,110,245,.43) 0%, rgba(126,96,226,.31) 25%, transparent 52%),
    conic-gradient(from 210deg at 52% 48%, rgba(45,212,191,.26), rgba(96,165,250,.34), rgba(192,132,252,.30), rgba(251,113,133,.25), rgba(250,204,21,.22), rgba(45,212,191,.26)); }
.hero-stats .stat:nth-child(2)::before { filter: hue-rotate(24deg); }
.hero-stats .stat:nth-child(3)::before { filter: hue-rotate(72deg); }
.hero-stats .stat:nth-child(4)::before { filter: hue-rotate(142deg); }
.hero-stats .stat:hover { transform: translateY(-2px); box-shadow: 0 10px 24px color-mix(in srgb, var(--ink) 10%, transparent); }
.hero-stats .stat:hover::before { opacity: 1; transform: scale(1.04) rotate(0); }
.hero-stats .stat > * { position: relative; z-index: 1; }
.hero-stats .sv { font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-variant-numeric: tabular-nums; font-size: 1.62rem; font-weight: 650; letter-spacing: -.025em; color: var(--ink); transition: color .2s ease; }
.hero-stats .sl { font-family: var(--font-mono); font-size: .7rem; letter-spacing: .14em; text-transform: uppercase; color: var(--ink-muted); margin-top: 5px; transition: color .2s ease; }
.hero-stats .stat:hover .sv, .hero-stats .stat:hover .sl { color: var(--stat-hover-text); }
@property --mx { syntax: "<percentage>"; inherits: false; initial-value: 50%; }
@property --my { syntax: "<percentage>"; inherits: false; initial-value: 45%; }
html[data-theme="dark"] .hero-stats .stat::before {
  background:
    radial-gradient(circle at var(--mx, 50%) var(--my, 45%), rgba(69,108,255,.88) 0%, rgba(128,67,176,.72) 25%, transparent 54%),
    conic-gradient(from 210deg at 52% 48%, #16916A, #2E5BD3, #8043B0, #D84F8A, #D4A017, #16916A); }
@media (prefers-color-scheme: dark) {
  html:not([data-theme="light"]) .hero-stats .stat::before {
    background:
      radial-gradient(circle at var(--mx, 50%) var(--my, 45%), rgba(69,108,255,.88) 0%, rgba(128,67,176,.72) 25%, transparent 54%),
      conic-gradient(from 210deg at 52% 48%, #16916A, #2E5BD3, #8043B0, #D84F8A, #D4A017, #16916A); }
}

/* Articles overview: real catalog counts presented as the page's own data. */
.articles-overview { margin-bottom: 34px; }
.section-heading { display: flex; align-items: end; justify-content: space-between; gap: 24px; }
.section-index { display: block; margin-bottom: 5px; font-family: var(--font-mono); font-size: .61rem; letter-spacing: .16em; text-transform: uppercase; color: var(--ink-muted); }
.section-heading h2 { margin: 0; font-family: var(--font-display); font-size: clamp(1.22rem, 2.3vw, 1.65rem); font-weight: 600; line-height: 1; letter-spacing: -.015em; }
.browse-link { display: inline-flex; align-items: center; gap: 28px; padding: 9px 11px; border: 1px solid var(--rule); font-family: var(--font-mono); font-size: .68rem; letter-spacing: .11em; text-transform: uppercase; color: var(--ink-muted); transition: color .2s ease, border-color .2s ease, background .2s ease; }
.browse-link:hover { color: var(--ink); border-color: var(--ink); background: color-mix(in srgb, var(--ink) 4%, transparent); }
.section-rule { height: 1px; margin: 15px 0 18px; background: var(--rule); overflow: hidden; }
.section-rule span { display: block; width: 24%; height: 100%; background: var(--ink); }

.distribution-map { position: relative; }
.topic-grid { position: relative; z-index: 2; display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 10px; }
.topic-card { --topic: var(--ink); position: relative; isolation: isolate; overflow: hidden; min-height: 188px; padding: 15px 14px 13px; border: 1px solid var(--rule); border-radius: 8px; background: var(--paper-raised); transition: border-color .25s ease, transform .25s ease, box-shadow .25s ease, color .25s ease; }
.topic-card::before { content: ""; position: absolute; inset: 0; z-index: -1; background: var(--topic); transform: translateY(102%); transition: transform .42s cubic-bezier(.2,.75,.2,1); }
.topic-card::after { content: ""; position: absolute; right: 13px; top: 14px; width: 7px; height: 7px; border: 1px solid currentColor; border-radius: 50%; opacity: .65; }
.topic-card.topic-math { --topic: var(--ink-math); }
.topic-card.topic-prog { --topic: var(--ink-prog); }
.topic-card.topic-cs { --topic: var(--ink-cs); }
.topic-card.topic-ai { --topic: var(--ink-ai); }
.topic-card:hover, .topic-card:focus-visible { color: #fff; border-color: var(--topic); transform: translateY(-3px); box-shadow: 0 12px 28px color-mix(in srgb, var(--topic) 22%, transparent); }
.topic-card:hover::before, .topic-card:focus-visible::before { transform: none; }
.topic-index, .topic-share { font-family: var(--font-mono); text-transform: uppercase; color: var(--ink-muted); transition: color .25s ease; }
.topic-index { font-size: .58rem; letter-spacing: .13em; }
.topic-count { display: block; margin-top: 22px; font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-size: 2.2rem; font-weight: 650; line-height: 1; letter-spacing: -.05em; color: var(--topic); transition: color .25s ease; }
.topic-card h3 { margin: 7px 0 0; font-family: var(--font-display); font-size: .82rem; font-weight: 600; line-height: 1.2; letter-spacing: -.005em; }
.topic-card p { margin: 8px 0 29px; font-family: var(--font-serif); font-size: .86rem; line-height: 1.25; color: var(--ink-muted); transition: color .25s ease; }
.topic-share { position: absolute; left: 14px; bottom: 11px; display: flex; align-items: baseline; gap: 7px; letter-spacing: .08em; }
.topic-share strong { font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-size: 1rem; line-height: 1; letter-spacing: -.025em; color: var(--topic); transition: color .25s ease; }
.topic-share span { font-size: .52rem; letter-spacing: .12em; }
.topic-card:hover .topic-index, .topic-card:hover .topic-share, .topic-card:hover p,
.topic-card:focus-visible .topic-index, .topic-card:focus-visible .topic-share, .topic-card:focus-visible p { color: rgba(255,255,255,.82); }
.topic-card:hover .topic-count, .topic-card:hover .topic-share strong,
.topic-card:focus-visible .topic-count, .topic-card:focus-visible .topic-share strong { color: #fff; }

.distribution-connectors { position: absolute; inset: 0; z-index: 1; overflow: hidden; pointer-events: none; }
.distribution-connector { position: absolute; height: 1px; transform-origin: 0 50%; opacity: .52;
  background: repeating-linear-gradient(90deg, currentColor 0 2px, transparent 2px 7px); }
.distribution-connector::before, .distribution-connector::after { content: ""; position: absolute; top: -2px; width: 5px; height: 5px; border-radius: 50%; background: currentColor; }
.distribution-connector::before { left: 0; }
.distribution-connector::after { right: 0; }
.connector-math { color: var(--ink-math); } .connector-prog { color: var(--ink-prog); }
.connector-cs { color: var(--ink-cs); } .connector-ai { color: var(--ink-ai); }
.topic-distribution { position: relative; z-index: 2; margin-top: 78px; }
.distribution-meta { display: flex; justify-content: space-between; gap: 18px; margin-top: 9px; font-family: var(--font-mono); font-size: .61rem; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-muted); }
.distribution-bar { display: flex; height: 26px; overflow: hidden; border: 2px solid var(--ink); border-radius: 5px; background: var(--paper-raised); box-shadow: 0 8px 24px color-mix(in srgb, var(--ink) 8%, transparent); }
.distribution-segment { flex: 0 0 var(--share); height: 100%; box-shadow: inset -1px 0 color-mix(in srgb, var(--paper-raised) 65%, transparent); transition: opacity .25s ease, filter .25s ease; }
.distribution-segment:hover { filter: brightness(1.2) saturate(1.15); }
.distribution-bar:has(.distribution-segment:hover) .distribution-segment:not(:hover) { opacity: .32; }
.ds-math { background: var(--ink-math); } .ds-prog { background: var(--ink-prog); }
.ds-cs { background: var(--ink-cs); } .ds-ai { background: var(--ink-ai); }
.recent-head { display: flex; align-items: baseline; justify-content: space-between; gap: 24px; margin-top: 46px; padding-bottom: 10px; border-bottom: 1px solid var(--rule); }
.recent-head span:first-child { font-family: var(--font-display); font-size: .92rem; font-weight: 600; letter-spacing: .02em; }
.recent-head span:last-child { font-family: var(--font-mono); font-size: .6rem; letter-spacing: .11em; text-transform: uppercase; color: var(--ink-muted); }

.recent-catalog { display: grid; gap: 12px; margin-top: 14px; }
.recent-quad { display: grid; grid-template-columns: 1fr 1fr; gap: 12px; }
.recent-card { --topic: var(--ink); --difficulty: var(--d3); position: relative; overflow: hidden; border: 1px solid var(--rule); border-radius: 14px; background: var(--paper-raised); box-shadow: 0 8px 24px color-mix(in srgb, var(--ink) 5%, transparent); transition: transform .26s ease, border-color .26s ease, box-shadow .26s ease; }
.recent-card.topic-math { --topic: var(--ink-math); } .recent-card.topic-prog { --topic: var(--ink-prog); }
.recent-card.topic-cs { --topic: var(--ink-cs); } .recent-card.topic-ai { --topic: var(--ink-ai); }
.recent-card[data-band="1"], .contest-feature[data-band="1"] { --difficulty: var(--d1); } .recent-card[data-band="2"], .contest-feature[data-band="2"] { --difficulty: var(--d2); }
.recent-card[data-band="3"], .contest-feature[data-band="3"] { --difficulty: var(--d3); } .recent-card[data-band="4"], .contest-feature[data-band="4"] { --difficulty: var(--d4); }
.recent-card[data-band="5"], .contest-feature[data-band="5"] { --difficulty: var(--d5); } .recent-card[data-band="6"], .contest-feature[data-band="6"] { --difficulty: var(--d6); }
.recent-card::before { content: ""; position: absolute; inset: 0; opacity: .42; pointer-events: none;
  background:
    linear-gradient(90deg, color-mix(in srgb, var(--topic) 7%, transparent) 1px, transparent 1px),
    linear-gradient(color-mix(in srgb, var(--topic) 6%, transparent) 1px, transparent 1px);
  background-size: 38px 38px; mask-image: linear-gradient(90deg, #000, transparent 78%); }
.recent-card::after { content: ""; position: absolute; inset: auto -12% -70% 35%; height: 120%; pointer-events: none; opacity: .34; filter: blur(30px); background: radial-gradient(ellipse, color-mix(in srgb, var(--topic) 22%, transparent), transparent 65%); transition: opacity .25s ease, transform .35s ease; }
.recent-card:hover, .recent-card.cursor { transform: translateY(-3px); border-color: color-mix(in srgb, var(--topic) 72%, var(--rule)); box-shadow: 0 16px 34px color-mix(in srgb, var(--topic) 15%, transparent); }
.recent-card:hover::after, .recent-card.cursor::after { opacity: .72; transform: translateY(-8%); }
.recent-card-link { position: relative; z-index: 1; display: block; min-height: inherit; height: 100%; }
.recent-feature { min-height: 226px; }
.recent-feature .recent-card-link { padding: 24px 132px 22px 25px; }
.recent-compact { min-height: 132px; }
.recent-compact .recent-card-link { padding: 14px 92px 13px 16px; }
.recent-coordinate { display: flex; align-items: baseline; gap: 14px; margin-top: 0; font-family: var(--font-mono); font-size: .63rem; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-muted); }
.recent-coordinate .aleph { font-size: .8rem; }
.recent-feature h2 { max-width: 690px; margin: 11px 0 0; font-family: var(--font-serif); font-size: clamp(1.8rem, 3.5vw, 2.7rem); line-height: 1.04; letter-spacing: -.025em; }
.recent-feature p { max-width: 670px; margin: 10px 0 0; font-size: 1rem; line-height: 1.38; color: var(--ink-muted); }
.recent-compact h3 { max-width: 320px; margin: 7px 0 0; font-family: var(--font-serif); font-size: 1.24rem; line-height: 1.08; letter-spacing: -.015em; }
.recent-meta { display: flex; flex-wrap: wrap; gap: 7px 16px; margin-top: 13px; font-family: var(--font-mono); font-size: .59rem; line-height: 1; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-muted); }
.recent-meta span + span::before { content: "/"; margin-right: 16px; color: var(--ghost); }
.recent-meta .recent-votes { display: inline-flex; gap: 8px; letter-spacing: .04em; }
.recent-meta .recent-votes i, .recent-meta .recent-votes b { font-style: normal; font-weight: 400; }
.recent-meta .recent-votes i { color: var(--ink-prog); }
.recent-meta .recent-votes b { color: var(--d6); }
.recent-compact .recent-meta { margin-top: 10px; }
.recent-glyph { position: absolute; right: 112px; top: 50%; transform: translateY(-51%); font-family: var(--font-serif); font-size: 6rem; line-height: 1; color: var(--topic); opacity: .055; pointer-events: none; }
.recent-compact .recent-glyph { right: 77px; font-size: 3.9rem; }
.recent-glyph sup { font-size: .35em; }
.difficulty-box { position: absolute; right: 23px; top: 50%; z-index: 2; display: grid; place-content: center; width: 84px; aspect-ratio: 1; transform: translateY(-50%); isolation: isolate; border: 1px solid var(--difficulty); border-radius: 9px; background: color-mix(in srgb, var(--difficulty) 10%, var(--paper-raised)); color: var(--difficulty); box-shadow: inset 0 0 24px color-mix(in srgb, var(--difficulty) 10%, transparent), 0 0 20px color-mix(in srgb, var(--difficulty) 10%, transparent); text-align: center; }
.difficulty-box small { font-family: var(--font-mono); font-size: .47rem; line-height: 1; letter-spacing: .1em; text-transform: uppercase; }
.difficulty-box strong { margin-top: 7px; font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-size: 1.35rem; line-height: 1; letter-spacing: -.035em; }
.recent-compact .difficulty-box { right: 14px; width: 64px; border-radius: 8px; }
.recent-compact .difficulty-box strong { font-size: 1.03rem; }
.difficulty-box.has-particles::before, .difficulty-box.has-particles::after { content: ""; position: absolute; inset: -17px; z-index: -1; pointer-events: none; opacity: .72;
  background:
    radial-gradient(circle at 10% 78%, currentColor 0 1.5px, transparent 2.4px),
    radial-gradient(circle at 24% 24%, currentColor 0 1px, transparent 2px),
    radial-gradient(circle at 42% 91%, currentColor 0 1.8px, transparent 2.7px),
    radial-gradient(circle at 67% 10%, currentColor 0 1.3px, transparent 2.2px),
    radial-gradient(circle at 83% 72%, currentColor 0 1px, transparent 2px),
    radial-gradient(circle at 96% 37%, currentColor 0 1.7px, transparent 2.6px);
  filter: drop-shadow(0 0 3px color-mix(in srgb, currentColor 72%, transparent));
  animation: difficulty-particles-a 2.25s linear infinite; }
.difficulty-box.has-particles::after { inset: -13px; opacity: .5; transform: rotate(29deg); animation-name: difficulty-particles-b; animation-duration: 2.8s; animation-delay: -1.35s; }
.recent-card[data-band="6"] .difficulty-box.has-particles::before { opacity: .92; animation-duration: 1.85s; }
.recent-card[data-band="6"] .difficulty-box.has-particles::after { opacity: .68; animation-duration: 2.25s; }
@keyframes difficulty-particles-a {
  0% { opacity: 0; transform: translate3d(0, 8px, 0) scale(.88); }
  24% { opacity: .78; }
  76% { opacity: .6; }
  100% { opacity: 0; transform: translate3d(-3px, -17px, 0) scale(1.08); }
}
@keyframes difficulty-particles-b {
  0% { opacity: 0; transform: translate3d(2px, 7px, 0) rotate(29deg) scale(.9); }
  30% { opacity: .55; }
  100% { opacity: 0; transform: translate3d(5px, -14px, 0) rotate(22deg) scale(1.04); }
}

/* Homepage transmissions: contests and dated dispatches. */
.home-section { margin: 54px 0 34px; }
.home-section + .home-section { margin-top: 64px; }
.home-section .section-rule span { width: 17%; }

.contest-feature { --contest-accent: var(--ink-cs); position: relative; isolation: isolate; display: grid; grid-template-columns: 108px minmax(0, 1fr) 78px; grid-template-areas: "sigil copy difficulty" "sigil meta difficulty"; align-items: center; gap: 10px 22px; min-height: 178px; overflow: hidden; padding: 18px 20px; border: 1px solid color-mix(in srgb, var(--contest-accent) 48%, var(--rule)); border-radius: 14px; background:
  linear-gradient(90deg, color-mix(in srgb, var(--contest-accent) 7%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--contest-accent) 6%, transparent) 1px, transparent 1px),
  radial-gradient(circle at 12% 50%, color-mix(in srgb, var(--contest-accent) 13%, transparent), transparent 26%),
  var(--paper-raised);
  background-size: 42px 42px, 42px 42px, auto, auto;
  box-shadow: 0 16px 42px color-mix(in srgb, var(--ink) 7%, transparent); }
.contest-feature::before { content: ""; position: absolute; inset: 0; z-index: -1; pointer-events: none; background: linear-gradient(110deg, transparent 22%, color-mix(in srgb, var(--contest-accent) 8%, transparent) 48%, transparent 72%); transform: translateX(-58%); transition: transform .75s cubic-bezier(.2,.75,.2,1); }
.contest-feature::after { content: "01"; position: absolute; right: -1.5rem; bottom: -4.9rem; z-index: -1; font-family: var(--font-display); font-size: 12rem; line-height: 1; letter-spacing: -.09em; color: var(--contest-accent); opacity: .045; pointer-events: none; }
.contest-feature-link { transition: transform .28s ease, border-color .28s ease, box-shadow .28s ease; }
.contest-feature-link:hover, .contest-feature-link:focus-visible { transform: translateY(-3px); border-color: var(--contest-accent); box-shadow: 0 20px 48px color-mix(in srgb, var(--contest-accent) 15%, transparent); }
.contest-feature-link:hover::before, .contest-feature-link:focus-visible::before { transform: translateX(58%); }
.contest-sigil { grid-area: sigil; position: relative; display: grid; place-items: center; width: 94px; aspect-ratio: 1; border: 1px solid color-mix(in srgb, var(--contest-accent) 70%, var(--rule)); border-radius: 50%; color: var(--contest-accent); box-shadow: inset 0 0 30px color-mix(in srgb, var(--contest-accent) 8%, transparent), 0 0 26px color-mix(in srgb, var(--contest-accent) 7%, transparent); }
.contest-sigil::before, .contest-sigil::after { content: ""; position: absolute; border-radius: 50%; pointer-events: none; }
.contest-sigil::before { inset: 8px; border: 1px dashed color-mix(in srgb, var(--contest-accent) 58%, transparent); animation: contest-orbit 22s linear infinite; }
.contest-sigil::after { inset: 24px; border: 1px solid color-mix(in srgb, var(--contest-accent) 22%, transparent); }
.contest-sigil span { font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-size: 1.25rem; font-weight: 650; letter-spacing: .08em; }
@keyframes contest-orbit { to { transform: rotate(360deg); } }
.contest-copy { grid-area: copy; display: block; align-self: end; }
.contest-kicker { display: flex; align-items: center; gap: 8px; font-family: var(--font-mono); font-size: .62rem; letter-spacing: .13em; line-height: 1.3; text-transform: uppercase; color: var(--contest-accent); }
.contest-kicker i { width: 6px; height: 6px; border-radius: 50%; background: currentColor; box-shadow: 0 0 0 5px color-mix(in srgb, currentColor 11%, transparent); animation: contest-signal 2.2s ease-in-out infinite; }
@keyframes contest-signal { 50% { box-shadow: 0 0 0 9px color-mix(in srgb, currentColor 2%, transparent); opacity: .7; } }
.contest-title { display: block; font-family: var(--font-display); font-size: clamp(1.4rem, 3vw, 2rem); font-weight: 600; line-height: 1.08; letter-spacing: -.025em; }
.contest-meta { grid-area: meta; display: flex; flex-wrap: wrap; align-self: start; gap: 9px 28px; }
.contest-meta > span { display: grid; gap: 3px; }
.contest-meta small { font-family: var(--font-mono); font-size: .52rem; letter-spacing: .13em; text-transform: uppercase; color: var(--ink-muted); }
.contest-meta strong { font-family: var(--font-mono); font-size: .72rem; font-weight: 500; letter-spacing: .04em; color: var(--ink); }
.contest-difficulty { grid-area: difficulty; position: relative; right: auto; top: auto; width: 72px; transform: none; justify-self: end; }
.contest-page-intro { max-width: 62ch; margin: -8px 0 24px; font-family: var(--font-serif); font-size: 1.08rem; line-height: 1.5; color: var(--ink-muted); }
.contest-detail { margin-top: 22px; }

.home-announcement-list { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 11px; }
.home-announcement { --ann-accent: var(--ink-prog); position: relative; display: grid; grid-template-columns: 54px minmax(0, 1fr) 18px; gap: 15px; min-height: 172px; overflow: hidden; padding: 18px 16px 17px; border: 1px solid var(--rule); border-top: 2px solid color-mix(in srgb, var(--ann-accent) 72%, var(--rule)); border-radius: 10px; background: var(--paper-raised); box-shadow: 0 8px 24px color-mix(in srgb, var(--ink) 4%, transparent); transition: transform .25s ease, border-color .25s ease, box-shadow .25s ease; }
.home-announcement:nth-child(3) { --ann-accent: var(--ink-math); }
.home-announcement.is-contest { --ann-accent: var(--ink-cs); }
.home-announcement::before { content: ""; position: absolute; inset: 0; opacity: .4; pointer-events: none; background: radial-gradient(circle at 100% 0, color-mix(in srgb, var(--ann-accent) 14%, transparent), transparent 48%); }
.home-announcement:hover, .home-announcement:focus-visible { transform: translateY(-3px); border-color: color-mix(in srgb, var(--ann-accent) 68%, var(--rule)); box-shadow: 0 14px 30px color-mix(in srgb, var(--ann-accent) 12%, transparent); }
.home-announcement time { position: relative; display: grid; align-content: start; padding-right: 12px; border-right: 1px solid var(--rule); color: var(--ann-accent); }
.home-announcement time strong { font-family: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; font-size: 1.55rem; line-height: 1; letter-spacing: -.04em; }
.home-announcement time span { margin-top: 5px; font-family: var(--font-mono); font-size: .52rem; line-height: 1.25; letter-spacing: .07em; text-transform: uppercase; color: var(--ink-muted); }
.home-announcement-copy { position: relative; display: flex; flex-direction: column; align-items: flex-start; }
.announcement-tag { display: inline-flex; padding: 3px 6px; border: 1px solid color-mix(in srgb, var(--ann-accent) 38%, var(--rule)); border-radius: 5px; font-family: var(--font-mono); font-size: .5rem; line-height: 1; letter-spacing: .12em; text-transform: uppercase; color: var(--ann-accent); }
.home-announcement-copy > strong { margin-top: 14px; font-family: var(--font-serif); font-size: 1.11rem; line-height: 1.16; }
.home-announcement-copy > span:last-child { margin-top: 7px; font-size: .83rem; line-height: 1.35; color: var(--ink-muted); }
.announcement-arrow { position: relative; color: var(--ink-muted); transition: color .2s ease, transform .2s ease; }
.home-announcement:hover .announcement-arrow, .home-announcement:focus-visible .announcement-arrow { color: var(--ann-accent); transform: translate(2px, -2px); }

/* ================= FOOTER ================= */
footer.site { position: relative; z-index: 2; max-width: none; margin: 78px 0 0; padding: 0; border-top: 1px solid var(--rule); background:
  linear-gradient(90deg, color-mix(in srgb, var(--ink) 3%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--ink) 2.5%, transparent) 1px, transparent 1px),
  color-mix(in srgb, var(--paper-raised) 96%, var(--paper));
  background-size: 46px 46px, 46px 46px, auto; }
footer.site[data-summary-footer] { min-height: 360px; }
.footer-inner { max-width: 1080px; margin: 0 auto; padding: 52px 24px 30px; }
.footer-grid { display: grid; grid-template-columns: minmax(280px, 1.45fr) repeat(3, minmax(120px, .72fr)); gap: 34px 42px; }
.footer-summary { max-width: 410px; }
.footer-brand { display: inline-flex; align-items: center; gap: 10px; font-family: var(--font-display); }
.footer-brand > span { display: grid; place-items: center; width: 36px; aspect-ratio: 1; border: 1px solid color-mix(in srgb, var(--ink-ai) 58%, var(--rule)); border-radius: 10px; background: color-mix(in srgb, var(--ink-ai) 9%, var(--paper-raised)); color: var(--ink-ai); font-family: var(--font-serif); font-size: 1.25rem; box-shadow: 0 0 22px color-mix(in srgb, var(--ink-ai) 8%, transparent); }
.footer-brand strong { font-size: 1.08rem; font-weight: 600; letter-spacing: -.015em; }
.footer-summary p { margin: 15px 0 0; max-width: 37ch; font-family: var(--font-display); font-size: .87rem; line-height: 1.55; color: var(--ink-muted); }
.footer-stats { display: flex; flex-wrap: wrap; gap: 6px; margin-top: 17px; }
.footer-stats span { padding: 4px 7px; border: 1px solid var(--rule); border-radius: 6px; font-family: var(--font-mono); font-size: .55rem; letter-spacing: .07em; text-transform: uppercase; color: var(--ink-muted); background: color-mix(in srgb, var(--paper-raised) 84%, transparent); }
.footer-group { display: flex; flex-direction: column; align-items: flex-start; gap: 7px; }
.footer-group > strong { margin-bottom: 6px; font-family: var(--font-display); font-size: .64rem; font-weight: 600; letter-spacing: .13em; text-transform: uppercase; color: var(--ink-muted); }
.footer-group a { position: relative; font-family: var(--font-display); font-size: .84rem; line-height: 1.45; color: var(--ink-muted); transition: color .18s ease, transform .18s ease; }
.footer-group a::before { content: ""; position: absolute; left: -10px; top: .68em; width: 4px; height: 1px; background: currentColor; opacity: 0; transition: opacity .18s ease, transform .18s ease; }
.footer-group a:hover, .footer-group a:focus-visible { color: var(--ink); transform: translateX(3px); }
.footer-group a:hover::before, .footer-group a:focus-visible::before { opacity: .7; transform: translateX(3px); }
.footer-base { display: flex; align-items: center; justify-content: space-between; gap: 18px 30px; margin-top: 43px; padding-top: 20px; border-top: 1px solid var(--rule); font-family: var(--font-display); font-size: .7rem; color: var(--ink-muted); }
.footer-base-copy { display: flex; flex-wrap: wrap; align-items: center; gap: 8px 20px; }
.footer-legal { display: flex; flex-wrap: wrap; gap: 8px 15px; }
.footer-legal a { color: var(--ink-muted); transition: color .18s ease; }
.footer-legal a:hover, .footer-legal a:focus-visible { color: var(--ink); text-decoration: underline; text-underline-offset: 3px; }
.footer-utilities { display: flex; flex-wrap: wrap; align-items: center; justify-content: flex-end; gap: 10px 22px; }
.footer-clock { font-family: var(--font-mono); font-size: .63rem; letter-spacing: .03em; font-variant-numeric: tabular-nums; }
.footer-top { display: inline-flex; align-items: center; gap: 7px; min-height: 34px; padding: 7px 10px; border: 1px solid var(--rule); border-radius: 7px; background: color-mix(in srgb, var(--paper-raised) 86%, transparent); transition: color .18s ease, border-color .18s ease, transform .18s ease; }
.footer-top:hover, .footer-top:focus-visible { color: var(--ink); border-color: var(--ink); transform: translateY(-2px); }

/* ================= ARTICLE ================= */
main.art { max-width: 1180px; margin: 0 auto; padding: 42px 14px 0;
  --gw: 9rem; --ggap: 16px; --measure: 72ch; --article-accent: var(--focus); }
.art-grid { display: block; }
.art-main { min-width: 0; }

.art-head { position: relative; isolation: isolate; min-height: 196px; overflow: hidden; padding: 53px 190px 30px 34px; border: 1px solid color-mix(in srgb, var(--article-accent) 42%, var(--rule)); border-radius: 14px; background:
  linear-gradient(90deg, color-mix(in srgb, var(--article-accent) 6%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--article-accent) 5%, transparent) 1px, transparent 1px),
  radial-gradient(circle at 88% 50%, color-mix(in srgb, var(--article-accent) 17%, transparent), transparent 29%),
  var(--paper-raised);
  background-size: 38px 38px, 38px 38px, auto, auto;
  box-shadow: 0 14px 34px color-mix(in srgb, var(--ink) 6%, transparent); }
.art-head::before { content: "ARTICLE TRANSMISSION / " attr(data-channel); position: absolute; left: 34px; top: 20px; font-family: var(--font-mono); font-size: .56rem; letter-spacing: .16em; text-transform: uppercase; color: var(--article-accent); }
.art-head::after { content: var(--article-symbol, "ℵ"); position: absolute; right: 40px; top: 50%; z-index: -1; transform: translateY(-51%); font-family: var(--font-serif); font-size: clamp(5rem, 10vw, 8rem); line-height: 1; color: var(--article-accent); opacity: .13; }
.art-head h1 { font-family: var(--font-serif); font-weight: 700; letter-spacing: -.025em; font-size: clamp(2rem, 4vw, 3rem); line-height: 1.03; margin: 0; max-width: 21ch; text-wrap: balance; }
.art-head .metaline { display: flex; flex-wrap: wrap; align-items: center; gap: 5px 8px; margin-top: 18px; }

.article-search { position: relative; z-index: 6; display: grid; grid-template-columns: minmax(160px, .68fr) minmax(280px, 1.32fr); gap: 18px; margin-top: 18px; padding: 18px; border: 1px solid var(--rule); border-radius: 12px; background: color-mix(in srgb, var(--paper-raised) 94%, transparent); box-shadow: 0 10px 28px color-mix(in srgb, var(--ink) 5%, transparent); }
.article-search-copy { align-self: center; padding-left: 4px; }
.article-search-copy strong { display: block; font-family: var(--font-display); font-size: .76rem; font-weight: 600; line-height: 1.2; letter-spacing: .02em; }
.article-search-copy span { display: block; margin-top: 6px; font-size: .78rem; line-height: 1.35; color: var(--ink-muted); }
.article-search-control { position: relative; }
.article-search-field { display: grid; grid-template-columns: auto minmax(0, 1fr) auto; align-items: center; gap: 9px; min-height: 46px; padding: 0 8px 0 14px; border: 1px solid color-mix(in srgb, var(--article-accent) 38%, var(--rule)); border-radius: 8px; background: var(--paper); transition: border-color .2s ease, box-shadow .2s ease; }
.article-search-field:focus-within { border-color: var(--article-accent); box-shadow: 0 0 0 3px color-mix(in srgb, var(--article-accent) 10%, transparent); }
.article-search-field .ax { font-family: var(--font-serif); color: var(--article-accent); }
.article-search-field input { width: 100%; min-width: 0; border: 0; outline: 0; background: none; color: var(--ink); font-family: var(--font-mono); font-size: .78rem; }
.article-search-field input::placeholder { color: var(--ghost); }
.article-search-full { padding: 6px 8px; border: 1px solid var(--rule); border-radius: 5px; background: none; color: var(--ink-muted); font-family: var(--font-mono); font-size: .55rem; letter-spacing: .08em; text-transform: uppercase; cursor: pointer; }
.article-search-full:hover { color: var(--ink); border-color: var(--ink-muted); }
.article-search-status { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
.article-search-results { position: absolute; left: 0; right: 0; top: calc(100% + 7px); overflow: hidden; padding: 5px; border: 1px solid var(--rule); border-radius: 9px; background: var(--paper-raised); box-shadow: 0 18px 38px color-mix(in srgb, var(--ink) 15%, transparent); }
.article-search-results[hidden] { display: none; }
.article-search-result { display: grid; grid-template-columns: 4.7rem minmax(0, 1fr) auto; gap: 12px; align-items: baseline; padding: 9px 10px; border-radius: 6px; }
.article-search-result:hover, .article-search-result:focus-visible { background: color-mix(in srgb, var(--result-accent, var(--ink)) 8%, transparent); }
.article-search-result .aleph { color: var(--result-accent, var(--ink)); font-size: .75rem; }
.article-search-result strong { overflow: hidden; font-family: var(--font-serif); font-size: .94rem; font-weight: 400; line-height: 1.2; text-overflow: ellipsis; white-space: nowrap; }
.article-search-result small { font-family: var(--font-mono); font-size: .58rem; color: var(--ink-muted); }
.article-search-empty { padding: 11px 10px; font-family: var(--font-mono); font-size: .7rem; color: var(--ink-muted); }
.reading-progress { position: fixed; left: 0; right: 0; top: 60px; z-index: 41; height: 2px; transform: scaleX(0); transform-origin: 0 50%; background: var(--article-accent); box-shadow: 0 0 8px color-mix(in srgb, var(--article-accent) 68%, transparent); }

.art-body { position: relative; display: flow-root; --body-side-pad: clamp(28px, 4vw, 60px); --gutter-edge: calc(var(--gw) + 36px); margin-top: 18px; padding: 38px var(--body-side-pad) 42px calc(var(--gutter-edge) + var(--body-side-pad)); border: 1px solid var(--rule); border-radius: 14px; background: color-mix(in srgb, var(--paper-raised) 97%, transparent); box-shadow: 0 16px 44px color-mix(in srgb, var(--ink) 7%, transparent); counter-reset: sec; }
.art-body::before { content: ""; position: absolute; inset: 0 auto 0 0; width: calc(var(--gw) + 36px); border-right: 1px solid color-mix(in srgb, var(--article-accent) 38%, var(--rule)); border-radius: 14px 0 0 14px; background-image: linear-gradient(90deg, color-mix(in srgb, var(--article-accent) 8%, transparent) 1px, transparent 1px), linear-gradient(color-mix(in srgb, var(--article-accent) 7%, transparent) 1px, transparent 1px); background-size: 24px 24px; background-color: color-mix(in srgb, var(--article-accent) 2.5%, transparent); pointer-events: none; }
.art-body > * { position: relative; z-index: 1; max-width: var(--measure); }
.art-body > :not(.sn):not(.katex-display) { width: min(100%, var(--measure)); margin-left: auto; margin-right: auto; }
.art-body p { margin: 0 0 1.15em; }
.art-body h2 { font-family: var(--font-serif); font-weight: 700; font-size: 1.42rem; letter-spacing: -.015em; line-height: 1.2; margin: 2.15em 0 .7em; counter-increment: sec; }
/* floated (not absolute) so a long sidenote pushes the mark down instead of overprinting */
.art-body h2::before { content: "\00A7" counter(sec); float: left; clear: left; width: 3.3rem; margin-left: -4.25rem; text-align: right; font-family: var(--font-mono); font-weight: 400; font-size: .72rem; letter-spacing: .08em; color: var(--article-accent); padding-top: .36em; }
.art-body a { text-decoration: underline; text-decoration-color: var(--ghost); text-underline-offset: 3px; }
.art-body a:hover { text-decoration-color: currentColor; }
.art-body code { font-family: var(--font-mono); font-size: .86em; background: color-mix(in srgb, var(--ink) 5%, transparent); padding: .1em .35em; border-radius: 3px; }
.art-body pre { max-width: var(--measure); background: var(--paper); border: 1px solid var(--rule); border-radius: 8px; padding: 16px 18px; overflow-x: auto; }
.art-body pre code { background: none; padding: 0; font-size: .8rem; line-height: 1.55; }
.art-body blockquote { margin: 1.35em 0; padding: 15px 18px; border: 1px solid var(--rule); border-left: 3px solid var(--article-accent); border-radius: 8px; background: color-mix(in srgb, var(--article-accent) 4%, transparent); color: var(--ink-muted); }

/* display math breaks the measure and centers */
.art-body .katex-display { max-width: none; margin: 1.35em 0; overflow-x: auto; overflow-y: hidden; padding: 2px 0; }
.katex { font-size: 1.06em; }

/* sidenotes — gutter on wide screens, <details> disclosures when the gutter collapses */
.sn { font-family: var(--font-mono); font-size: .72rem; line-height: 1.55; color: var(--ink-muted); letter-spacing: .01em; }
.sn .sn-body { margin-top: 2px; }
.sn .sn-body a { color: inherit; text-decoration: underline; text-decoration-color: var(--ghost); text-underline-offset: 2px; }
.sn summary { cursor: pointer; list-style: none; font-weight: 600; color: var(--ink-muted); }
.sn summary::-webkit-details-marker { display: none; }
.sn summary .sn-mark::after { content: " \203A"; }
.sn[open] summary .sn-mark::after { content: ""; }
.sn-ref { font-family: var(--font-mono); font-size: .68em; font-weight: 600; color: var(--ink-muted); vertical-align: super; line-height: 0; margin-left: 1px; }
@media (min-width: 901px) {
  .sn { float: left; clear: left; width: calc(var(--gw) - 12px); margin-left: calc(-1 * (var(--gw) + var(--body-side-pad))); margin-bottom: 10px; text-align: right; }
  .sn[open] summary .sn-mark::after { content: ""; }
}
@media (max-width: 900px) {
  .sn { margin: 10px 0 14px; border: 1px solid var(--rule); border-radius: var(--radius); padding: 8px 10px; background: var(--paper-raised); }
}

.article-feedback { display: grid; grid-template-columns: minmax(130px,1fr) auto minmax(180px,auto); align-items: center; gap: 14px 22px; margin-top: 18px; padding: 12px 15px; border: 1px solid color-mix(in srgb, var(--article-accent) 35%, var(--rule)); border-radius: 10px; background: color-mix(in srgb, var(--article-accent) 4%, var(--paper-raised)); box-shadow: 0 8px 22px color-mix(in srgb, var(--ink) 4%, transparent); }
.article-feedback > div:first-child { display: grid; gap: 2px; }
.article-feedback > div:first-child span { color: var(--article-accent); font-family: var(--font-mono); font-size: .54rem; letter-spacing: .14em; text-transform: uppercase; }
.article-feedback > div:first-child strong { font-family: var(--font-serif); font-size: 1rem; font-weight: 600; }
.article-feedback > div:first-child i { font-style: normal; font-variant-numeric: tabular-nums; }
.article-feedback > small { color: var(--ink-muted); font-family: var(--font-mono); font-size: .59rem; line-height: 1.35; text-align: right; }
.article-feedback > small a { color: var(--article-accent); text-decoration: underline; text-underline-offset: 2px; }
.vote { display: inline-flex; align-items: center; gap: 7px; }
.vote .csrfmiddlewaretoken { display: none; }
.vote-btn { display: inline-flex; align-items: center; justify-content: center; gap: 6px; min-width: 58px; height: 34px; padding: 0 9px; border: 1px solid var(--rule); border-radius: 7px; background: none; cursor: pointer; color: var(--ink-muted); font-size: .7rem; font-family: var(--font-mono); transition: color .15s, border-color .15s, background .15s; }
.vote-btn:hover { color: var(--ink); border-color: var(--ghost); }
.vote-btn[aria-pressed="true"] { color: var(--article-accent); border-color: var(--article-accent); background: color-mix(in srgb, var(--article-accent) 8%, transparent); }
.vote-btn:disabled { opacity: .55; cursor: wait; }
.vote-score { font-family: var(--font-mono); font-size: .85rem; font-variant-numeric: tabular-nums; color: var(--ink-muted); min-width: 2ch; text-align: center; }

/* ================= LIST PAGES (archive / announcements) ================= */
.page-head { position: relative; isolation: isolate; min-height: 166px; overflow: hidden; padding: 62px 34px 28px; border: 1px solid var(--ink); border-radius: 14px; margin-bottom: 18px; display: flex; align-items: end; justify-content: space-between; gap: 16px; flex-wrap: wrap; background:
  linear-gradient(90deg, color-mix(in srgb, var(--ink) 5%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--ink) 4%, transparent) 1px, transparent 1px),
  radial-gradient(circle at 88% 24%, color-mix(in srgb, var(--ink-ai) 12%, transparent), transparent 30%),
  radial-gradient(circle at 8% 92%, color-mix(in srgb, var(--ink-math) 10%, transparent), transparent 34%),
  var(--paper-raised);
  background-size: 42px 42px, 42px 42px, auto, auto, auto;
  box-shadow: inset 0 0 34px color-mix(in srgb, var(--ink) 2%, transparent), 0 16px 42px color-mix(in srgb, var(--ink) 7%, transparent); }
.page-head::before { content: "ALEPHZERO / " attr(data-channel); position: absolute; left: 34px; top: 22px; font-family: var(--font-mono); font-size: .58rem; letter-spacing: .17em; text-transform: uppercase; color: var(--ink-muted); }
.page-head::after { content: attr(data-code); position: absolute; right: 28px; top: 50%; z-index: -1; transform: translateY(-52%); font-family: var(--font-display); font-size: clamp(4.5rem, 11vw, 8rem); font-weight: 600; line-height: 1; letter-spacing: -.08em; color: var(--ink); opacity: .04; }
.page-head h1 { font-family: var(--font-display); font-weight: 600; letter-spacing: -.025em; font-size: clamp(1.6rem, 3.5vw, 2.5rem); line-height: 1; margin: 0; }
.page-head .meta { position: relative; font-size: .68rem; letter-spacing: .08em; text-transform: uppercase; }

.toolbar { display: flex; align-items: center; gap: 9px; flex-wrap: wrap; padding: 12px; border: 1px solid var(--rule); border-radius: 10px; background: color-mix(in srgb, var(--paper-raised) 94%, transparent); box-shadow: 0 8px 24px color-mix(in srgb, var(--ink) 4%, transparent); }
.toolbar .spacer { flex: 1; }
.tool-btn, .toolbar select { min-height: 34px; font-family: var(--font-mono); font-size: .7rem; letter-spacing: .06em; text-transform: uppercase; color: var(--ink-muted); background: none; border: 1px solid var(--rule); border-radius: 7px; padding: 7px 10px; cursor: pointer; transition: color .15s, border-color .15s, background .15s; }
.tool-btn:hover, .toolbar select:hover { color: var(--ink); border-color: var(--ghost); }
.tool-btn[aria-pressed="true"], .tool-btn[aria-expanded="true"] { color: var(--ink); border-color: var(--ink); background: color-mix(in srgb, var(--ink) 5%, transparent); }
.toolbar select { appearance: none; padding-right: 22px; background-image: linear-gradient(45deg, transparent 49%, currentColor 50%), linear-gradient(-45deg, transparent 49%, currentColor 50%); background-size: 5px 5px; background-position: calc(100% - 13px) 55%, calc(100% - 9px) 55%; background-repeat: no-repeat; }
.archive-search { position: relative; display: flex; align-items: center; flex: 1 1 280px; max-width: 390px; min-height: 36px; padding: 0 11px; border: 1px solid var(--rule); border-radius: 7px; background: var(--paper); }
.archive-search:focus-within { border-color: var(--ink); box-shadow: 0 0 0 3px color-mix(in srgb, var(--ink) 7%, transparent); }
.archive-search .ax { margin-right: 9px; font-family: var(--font-serif); color: var(--ink-muted); }
.archive-search input { width: 100%; min-width: 0; border: 0; outline: 0; background: none; color: var(--ink); font-family: var(--font-mono); font-size: .73rem; }
.archive-search input::placeholder { color: var(--ghost); }

/* filter drawer */
.drawer { border: 1px solid var(--rule); border-radius: 10px; background: color-mix(in srgb, var(--paper-raised) 96%, transparent); padding: 20px; margin: 10px 0 14px; box-shadow: 0 12px 32px color-mix(in srgb, var(--ink) 5%, transparent); display: none; }
.drawer.open { display: block; }
.facets { display: grid; grid-template-columns: repeat(auto-fit, minmax(210px, 1fr)); gap: 18px 28px; }
.facet .f-label { font-family: var(--font-mono); font-size: .68rem; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-muted); margin-bottom: 9px; }
.chips { display: flex; flex-wrap: wrap; gap: 6px; }
.chip { position: relative; display: inline-block; }
.chip input { position: absolute; opacity: 0; inset: 0; cursor: pointer; }
.chip span { display: inline-block; font-family: var(--font-mono); font-size: .7rem; letter-spacing: .03em; color: var(--ink-muted); border: 1px solid var(--rule); border-radius: 7px; padding: 5px 9px; cursor: pointer; transition: color .15s, border-color .15s, background .15s; }
.chip input:checked + span { color: var(--ink); border-color: currentColor; }
.chip.c-math input:checked + span { color: var(--ink-math); background: color-mix(in srgb, var(--ink-math) 7%, transparent); }
.chip.c-prog input:checked + span { color: var(--ink-prog); background: color-mix(in srgb, var(--ink-prog) 7%, transparent); }
.chip.c-cs   input:checked + span { color: var(--ink-cs); background: color-mix(in srgb, var(--ink-cs) 7%, transparent); }
.chip.c-ai   input:checked + span { color: var(--ink-ai); background: color-mix(in srgb, var(--ink-ai) 7%, transparent); }
.chip input:focus-visible + span { outline: 2px solid var(--focus); outline-offset: 2px; }
.range-pair { display: flex; align-items: center; gap: 8px; font-family: var(--font-mono); font-size: .76rem; color: var(--ink-muted); }
.range-pair output { min-width: 4ch; text-align: right; font-variant-numeric: tabular-nums; }
.dual { position: relative; flex: 1; height: 22px; }
.dual input[type="range"] { position: absolute; inset: 0; width: 100%; margin: 0; appearance: none; background: none; pointer-events: none; height: 22px; }
.dual::before { content: ""; position: absolute; left: 0; right: 0; top: 10px; height: 2px; background: var(--rule); border-radius: 1px; }
.dual input[type="range"]::-webkit-slider-thumb { appearance: none; width: 13px; height: 13px; border-radius: 50%; background: var(--paper-raised); border: 2px solid var(--ink-muted); cursor: pointer; pointer-events: auto; margin-top: 0; }
.dual input[type="range"]::-moz-range-thumb { width: 11px; height: 11px; border-radius: 50%; background: var(--paper-raised); border: 2px solid var(--ink-muted); cursor: pointer; pointer-events: auto; }
.dual input[type="range"]:focus-visible::-webkit-slider-thumb { outline: 2px solid var(--focus); outline-offset: 2px; }
.num-pair { display: flex; align-items: center; gap: 8px; font-family: var(--font-mono); font-size: .76rem; color: var(--ink-muted); }
.num-pair input { width: 4.5rem; font-family: var(--font-mono); font-size: .78rem; color: var(--ink); background: var(--paper); border: 1px solid var(--rule); border-radius: var(--radius); padding: 4px 6px; }

/* archive table */
.archive-table { position: relative; overflow: hidden; margin-top: 14px; padding: 0 14px 12px; border: 1px solid color-mix(in srgb, var(--ink) 28%, var(--rule)); border-radius: 14px; background:
  linear-gradient(90deg, color-mix(in srgb, var(--ink) 2.5%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--ink) 2%, transparent) 1px, transparent 1px),
  color-mix(in srgb, var(--paper-raised) 97%, transparent);
  background-size: 48px 48px; box-shadow: 0 16px 42px color-mix(in srgb, var(--ink) 6%, transparent); }
.archive-table::before { content: ""; position: absolute; left: 14px; right: 14px; top: 0; height: 2px; background: linear-gradient(90deg, var(--ink-math), var(--ink-prog), var(--ink-cs), var(--ink-ai)); opacity: .68; }
.a-list { display: grid; gap: 0; }
.a-row { --row-ink: var(--ink); position: relative; isolation: isolate; display: grid; grid-template-columns: 5.5rem minmax(0,1fr) 7rem 5rem 3.4rem 4.4rem 3.5rem; gap: 0 13px; align-items: center; overflow: hidden; padding: 13px 6px; border: 0; border-top: 1px solid var(--rule); border-radius: 0; background: transparent; box-shadow: none; transition: background-color .18s ease; }
.a-row::before { content: none; }
.a-row::after { content: ""; position: absolute; inset: 2px 0; z-index: -1; opacity: 0; border-radius: 7px; background: linear-gradient(90deg, color-mix(in srgb, var(--row-ink) 8%, transparent), transparent 62%); transition: opacity .18s ease; }
.a-row .aleph { font-size: .95rem; text-align: left; }
.a-row .a-title { font-family: var(--font-serif); font-size: 1.12rem; line-height: 1.3; transition: color .15s; }
.a-row:hover, .a-row.cursor { transform: none; border-color: var(--rule); box-shadow: none; }
.a-row:hover::after, .a-row.cursor::after { opacity: 1; }
.a-row:hover .a-title, .a-row.cursor .a-title { color: var(--row-ink); }
.a-row .a-topic, .a-row .a-date, .a-row .a-min { font-family: var(--font-mono); font-size: .76rem; letter-spacing: .02em; color: var(--ink-muted); font-variant-numeric: tabular-nums; }
.a-row .a-min { text-align: right; }
.a-votes { display: grid; gap: 2px; font: .6rem/1 var(--font-mono); font-variant-numeric: tabular-nums; }
.a-votes i, .a-votes b { font-style: normal; font-weight: 400; }.a-votes i { color: var(--ink-prog); }.a-votes b { color: var(--d6); }
.a-row .diff { justify-self: end; display: grid; place-content: center; min-width: 3.35rem; min-height: 3rem; padding: 6px 5px 5px; border: 1px solid currentColor; border-radius: 7px; background: var(--paper-raised); box-shadow: none; text-align: center; line-height: 1; }
.a-row .diff::before { content: "Diff."; display: block; margin-bottom: 6px; font-family: var(--font-display); font-size: .49rem; font-weight: 600; letter-spacing: .08em; line-height: 1; text-transform: uppercase; color: var(--ink-muted); }
.a-row.e-math { --row-ink: var(--ink-math); } .a-row.e-prog { --row-ink: var(--ink-prog); }
.a-row.e-cs { --row-ink: var(--ink-cs); }     .a-row.e-ai { --row-ink: var(--ink-ai); }
.a-row[hidden] { display: none; }
.a-head { display: grid; grid-template-columns: 5.5rem minmax(0,1fr) 7rem 5rem 3.4rem 4.4rem 3.5rem; gap: 0 13px; align-items: center; padding: 18px 6px 10px; }
.a-head button, .a-head > span { font-family: var(--font-display); font-size: .62rem; font-weight: 600; letter-spacing: .11em; line-height: 1; text-transform: uppercase; color: var(--ink-muted); background: none; border: 0; padding: 0; text-align: left; }
.a-head button { cursor: pointer; }
.a-head button:hover { color: var(--ink); }
.a-head button[data-dir]::after { content: " \2193"; }
.a-head button[data-dir="asc"]::after { content: " \2191"; }
.a-head .h-min { text-align: right; }
.a-head .h-votes { text-align: left; }
.a-head .h-diff { text-align: center; }
.a-empty { padding: 42px 10px 34px; border-top: 1px solid var(--rule); font-family: var(--font-mono); font-size: .85rem; color: var(--ink-muted); text-align: center; }
.a-empty .aleph { color: var(--ink); }

/* announcements changelog */
.ann-list { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 11px; border-top: 0; max-width: none; }
.ann { --ann-page-accent: var(--ink-math); position: relative; overflow: hidden; display: grid; grid-template-columns: 6.3rem minmax(0,1fr); gap: 13px 18px; min-height: 164px; padding: 20px; border: 1px solid var(--rule); border-top: 2px solid color-mix(in srgb, var(--ann-page-accent) 72%, var(--rule)); border-radius: 11px; align-content: start; background:
  radial-gradient(circle at 100% 0, color-mix(in srgb, var(--ann-page-accent) 12%, transparent), transparent 46%),
  var(--paper-raised);
  box-shadow: 0 9px 26px color-mix(in srgb, var(--ink) 4%, transparent); transition: transform .22s ease, border-color .22s ease; }
.ann:hover { transform: translateY(-2px); border-color: color-mix(in srgb, var(--ann-page-accent) 54%, var(--rule)); }
.ann.tag-contest { --ann-page-accent: var(--ink-cs); }
.ann.tag-changelog { --ann-page-accent: var(--ink-prog); }
.ann.tag-notice { --ann-page-accent: var(--ink-math); }
.ann .a-date { grid-column: 1; grid-row: 1; display: inline-flex; align-items: center; justify-content: center; justify-self: start; min-width: 5.45rem; padding: 7px 9px; border: 1px solid color-mix(in srgb, var(--ann-page-accent) 50%, var(--rule)); border-radius: 7px; background: color-mix(in srgb, var(--ann-page-accent) 10%, var(--paper-raised)); font-family: var(--font-mono); font-size: .7rem; font-weight: 600; line-height: 1; letter-spacing: .04em; color: var(--ann-page-accent); font-variant-numeric: tabular-nums; }
.ann .a-tag { grid-column: 1; grid-row: 2; font-family: var(--font-mono); font-size: .58rem; letter-spacing: .1em; text-transform: uppercase; color: var(--ann-page-accent); border: 1px solid color-mix(in srgb, var(--ann-page-accent) 42%, var(--rule)); border-radius: 6px; padding: 3px 7px; justify-self: start; align-self: start; }
.ann .a-text { grid-column: 2; grid-row: 1 / span 2; display: flex; flex-direction: column; align-items: flex-start; font-family: var(--font-serif); font-size: 1.05rem; line-height: 1.42; }
.ann .a-text strong { font-size: 1.2rem; line-height: 1.2; }
.ann .a-text > span { margin-top: 9px; color: var(--ink-muted); }
.ann .a-open { grid-column: 2; grid-row: 3; align-self: end; margin-top: 10px; font-family: var(--font-mono); font-size: .58rem; letter-spacing: .1em; text-transform: uppercase; color: var(--ann-page-accent); }
.ann .a-text .meta { font-size: .78rem; }

/* announcement detail */
.back-link { display: inline-flex; align-items: center; gap: 8px; margin-bottom: 18px; font-family: var(--font-mono); font-size: .64rem; letter-spacing: .08em; text-transform: uppercase; color: var(--ink-muted); }
.back-link:hover, .back-link:focus-visible { color: var(--ink); }
.dispatch-wrap { max-width: 940px; }
.dispatch-file { --dispatch-accent: var(--ink-math); overflow: hidden; border: 1px solid color-mix(in srgb, var(--dispatch-accent) 42%, var(--rule)); border-radius: 15px; background: var(--paper-raised); box-shadow: 0 22px 58px color-mix(in srgb, var(--ink) 8%, transparent); }
.dispatch-file.tag-contest { --dispatch-accent: var(--ink-cs); }
.dispatch-file.tag-changelog { --dispatch-accent: var(--ink-prog); }
.dispatch-head { position: relative; isolation: isolate; overflow: hidden; min-height: 280px; padding: 44px 48px 38px; border-bottom: 1px solid var(--rule); background:
  linear-gradient(90deg, color-mix(in srgb, var(--dispatch-accent) 6%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--dispatch-accent) 5%, transparent) 1px, transparent 1px),
  radial-gradient(circle at 87% 15%, color-mix(in srgb, var(--dispatch-accent) 18%, transparent), transparent 33%);
  background-size: 42px 42px, 42px 42px, auto; }
.dispatch-head::after { content: "↗"; position: absolute; right: 42px; bottom: -58px; z-index: -1; font-family: var(--font-display); font-size: 13rem; line-height: 1; color: var(--dispatch-accent); opacity: .07; }
.dispatch-coordinates { display: flex; flex-wrap: wrap; align-items: center; gap: 9px 18px; font-family: var(--font-mono); font-size: .6rem; letter-spacing: .1em; text-transform: uppercase; color: var(--ink-muted); }
.dispatch-coordinates .a-tag { padding: 4px 8px; border: 1px solid color-mix(in srgb, var(--dispatch-accent) 50%, var(--rule)); border-radius: 6px; color: var(--dispatch-accent); }
.dispatch-head h1 { max-width: 21ch; margin: 36px 0 0; font-family: var(--font-serif); font-size: clamp(1.95rem, 4.6vw, 3.45rem); line-height: 1.02; letter-spacing: -.035em; text-wrap: balance; }
.dispatch-head > p { max-width: 54ch; margin: 23px 0 0; font-size: 1.08rem; line-height: 1.55; color: var(--ink-muted); }
.dispatch-body { max-width: 70ch; padding: 52px 56px 58px; font-family: var(--font-serif); font-size: 1.13rem; line-height: 1.72; }
.dispatch-body p { margin: 0 0 1.3em; }
.dispatch-body p:last-child { margin-bottom: 0; }
.dispatch-signoff { display: grid; grid-template-columns: auto 1fr auto; align-items: baseline; gap: 8px 16px; padding: 20px 56px; border-top: 1px solid var(--rule); background: color-mix(in srgb, var(--dispatch-accent) 4%, var(--paper-raised)); font-family: var(--font-mono); font-size: .62rem; letter-spacing: .07em; text-transform: uppercase; }
.dispatch-signoff span { color: var(--ink-muted); }
.dispatch-signoff strong { font-weight: 600; }
.dispatch-signoff a { color: var(--dispatch-accent); }

/* contest briefing portal */
.contest-portal { --portal-accent: var(--ink-cs); --portal-font: Inter, ui-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif; --portal-neutral: #fff; --portal-neutral-ink: #131a24; --portal-neutral-border: #d8dde3; --portal-green: #d9f3e3; --portal-green-ink: #135d38; --portal-green-border: #abd9bd; --portal-red: #f9dddd; --portal-red-ink: #8d2727; --portal-red-border: #e7b6b6; --portal-label: #5b6672; font-family: var(--portal-font); }
@media (prefers-color-scheme: dark) {
  html:not([data-theme="light"]) .contest-portal { --portal-neutral: #202730; --portal-neutral-ink: #e7ebef; --portal-neutral-border: #394451; --portal-green: #1d382c; --portal-green-ink: #a8dfbf; --portal-green-border: #356a4e; --portal-red: #3c272b; --portal-red-ink: #efb7ba; --portal-red-border: #704149; --portal-label: #abb4be; }
}
html[data-theme="dark"] .contest-portal { --portal-neutral: #202730; --portal-neutral-ink: #e7ebef; --portal-neutral-border: #394451; --portal-green: #1d382c; --portal-green-ink: #a8dfbf; --portal-green-border: #356a4e; --portal-red: #3c272b; --portal-red-ink: #efb7ba; --portal-red-border: #704149; --portal-label: #abb4be; }
.contest-portal-head { margin-top: 18px; padding: 0 0 24px; border-bottom: 2px solid var(--ink); }
.contest-kicker { display: block; font-size: .66rem; font-weight: 650; letter-spacing: .11em; text-transform: uppercase; color: var(--ink-muted); }
.contest-portal-head h1 { max-width: 22ch; margin: 9px 0 0; font-family: var(--portal-font); font-size: clamp(2.15rem, 5vw, 3.35rem); font-weight: 700; line-height: 1.02; letter-spacing: -.045em; }
.contest-portal-meta { display: flex; align-items: baseline; flex-wrap: wrap; gap: 7px 20px; margin-top: 13px; font-size: .68rem; font-weight: 600; letter-spacing: .045em; text-transform: uppercase; color: var(--ink-muted); }
.contest-portal-meta > * + *::before { content: "/"; margin-right: 20px; color: var(--ghost); }
.contest-entrant-total { display: inline-flex; align-items: baseline; color: var(--ink); }
.contest-entrant-total b { display: inline-block; margin-right: 4px; color: var(--portal-accent); font-size: 1.05rem; font-variant-numeric: tabular-nums; }
.contest-brief-section { margin-top: 32px; }
.contest-brief-heading { padding-bottom: 8px; border-bottom: 1px solid var(--rule); }
.contest-brief-heading h2 { margin: 0; font-family: var(--portal-font); font-size: 1.08rem; font-weight: 700; line-height: 1.2; letter-spacing: -.015em; }
.contest-stat-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; margin-top: 18px; }
.contest-stat-grid article { --portal-box-accent: var(--portal-accent); position: relative; overflow: hidden; min-height: 118px; padding: 17px 20px; border: 1px solid var(--portal-neutral-border); border-radius: 9px; background: var(--portal-neutral); color: var(--portal-neutral-ink); }
.contest-stat-grid article::before, .marking-rule::before { content: ""; position: absolute; top: 7px; right: 12px; left: 12px; height: 1px; background: repeating-linear-gradient(90deg, color-mix(in srgb, var(--portal-box-accent) 58%, transparent) 0 2px, transparent 2px 8px); background-size: 16px 1px; opacity: .55; pointer-events: none; animation: portal-dots 2.8s linear infinite; }
@keyframes portal-dots { to { background-position: 16px 0; } }
.contest-stat-grid strong { display: block; font-family: var(--portal-font); font-size: clamp(2.25rem, 5vw, 3rem); font-weight: 720; font-variant-numeric: tabular-nums; line-height: 1; letter-spacing: -.05em; }
.contest-stat-grid article > span { display: block; margin-top: 12px; font-size: .68rem; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; color: var(--portal-label); }
.guideline-list { margin: 10px 0 0; padding-left: 1.45rem; font-size: .93rem; line-height: 1.48; }
.guideline-list li { padding: 4px 0 4px 5px; }
.guideline-list li::marker { color: var(--ink-muted); font-weight: 700; font-variant-numeric: tabular-nums; }
.marking-groups { display: grid; gap: 20px; margin-top: 14px; }
.marking-group { display: block; }
.marking-group header { display: flex; align-items: baseline; gap: 13px; margin-bottom: 8px; }
.marking-group header span { font-size: .61rem; font-weight: 700; letter-spacing: .09em; text-transform: uppercase; color: var(--ink-muted); }
.marking-group h3 { margin: 0; font-family: var(--portal-font); font-size: .98rem; font-weight: 700; }
.marking-rule-grid { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; }
.marking-rule { --portal-box-accent: var(--portal-accent); position: relative; overflow: hidden; display: grid; grid-template-columns: 1fr auto; align-content: center; gap: 5px; min-height: 118px; padding: 15px 18px; border: 1px solid transparent; border-radius: 9px; }
.marking-rule span, .marking-rule small { font-size: .62rem; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; }
.marking-rule span { grid-column: 1 / -1; }
.marking-rule strong { font-family: var(--portal-font); font-size: 2.65rem; font-weight: 720; font-variant-numeric: tabular-nums; line-height: 1; letter-spacing: -.05em; }
.marking-rule small { align-self: end; opacity: .7; }
.marking-rule.correct { --portal-box-accent: var(--portal-green-ink); border-color: var(--portal-green-border); background: var(--portal-green); color: var(--portal-green-ink); }
.marking-rule.blank { border-color: var(--portal-neutral-border); background: var(--portal-neutral); color: var(--portal-neutral-ink); }
.marking-rule.incorrect { --portal-box-accent: var(--portal-red-ink); border-color: var(--portal-red-border); background: var(--portal-red); color: var(--portal-red-ink); }
.marking-empty { display: grid; grid-template-columns: 70px 1fr; gap: 20px; align-items: center; padding: 30px; border: 1px dashed var(--rule); border-radius: 12px; color: var(--ink-muted); }
.marking-empty > span { font-family: var(--font-serif); font-size: 2.8rem; text-align: center; color: var(--portal-accent); opacity: .55; }
.marking-empty strong { color: var(--ink); }
.marking-empty p { margin: 6px 0 0; line-height: 1.45; }
.contest-cutoff-table-wrap { margin-top: 14px; overflow-x: auto; border: 1px solid var(--rule); border-radius: 10px; background: var(--paper-raised); }
.contest-cutoff-table { width: 100%; border-collapse: collapse; text-align: left; }
.contest-cutoff-table th, .contest-cutoff-table td { padding: 12px 15px; border-bottom: 1px solid var(--rule); }
.contest-cutoff-table tr:last-child th, .contest-cutoff-table tr:last-child td { border-bottom: 0; }
.contest-cutoff-table thead th { background: color-mix(in srgb, var(--portal-accent) 5%, var(--paper-raised)); color: var(--ink-muted); font: 700 .58rem var(--font-mono); letter-spacing: .12em; text-transform: uppercase; }
.contest-cutoff-table tbody th { font-size: .88rem; font-weight: 650; }.contest-cutoff-table tbody td { color: var(--ink-muted); font: .72rem var(--font-mono); }.contest-cutoff-table tbody td:nth-child(2) { color: var(--portal-accent); font-weight: 700; }
.contest-cutoff-none { margin-top: 14px; padding: 18px; border: 1px solid var(--rule); border-radius: 10px; background: var(--paper-raised); color: var(--ink-muted); font: 700 .72rem var(--font-mono); letter-spacing: .12em; text-align: center; text-transform: uppercase; }
.contest-additional-copy { max-width: 72ch; margin-top: 12px; color: var(--ink-muted); font-size: .91rem; line-height: 1.55; }.contest-additional-copy p { margin: 0 0 .9em; }
.contest-entry { display: flex; justify-content: center; margin-top: 38px; padding-top: 24px; border-top: 1px solid var(--rule); }
.contest-take { width: min(100%, 320px); padding: 15px 20px; border: 1px solid var(--ink); border-radius: 4px; background: var(--ink); color: var(--paper); font-family: var(--portal-font); font-size: .78rem; font-weight: 700; letter-spacing: .08em; text-transform: uppercase; cursor: pointer; transition: background-color .15s ease, color .15s ease; }
.contest-take:hover, .contest-take:focus-visible { background: var(--paper); color: var(--ink); }
.contest-take.is-disabled { border-color: var(--rule); background: color-mix(in srgb, var(--ink) 7%, var(--paper)); color: var(--ink-muted); cursor: not-allowed; }
.contest-take.is-disabled:hover { border-color: var(--rule); background: color-mix(in srgb, var(--ink) 7%, var(--paper)); color: var(--ink-muted); }
.contest-start-dialog { width: min(610px, calc(100vw - 28px)); max-height: calc(100vh - 28px); padding: 0; border: 1px solid var(--rule); border-radius: 14px; background: var(--paper-raised); color: var(--ink); box-shadow: 0 30px 90px rgba(0,0,0,.28); }
.contest-start-dialog::backdrop { background: color-mix(in srgb, #06080c 68%, transparent); backdrop-filter: blur(5px); }
.contest-dialog-panel { padding: 38px; }
.contest-dialog-kicker { font-family: var(--font-mono); font-size: .58rem; letter-spacing: .15em; text-transform: uppercase; color: var(--portal-accent); }
.contest-dialog-panel h2 { margin: 15px 0 0; font-family: var(--font-display); font-size: 2.25rem; font-weight: 600; letter-spacing: -.04em; }
.contest-dialog-panel > p { margin: 12px 0 0; line-height: 1.5; color: var(--ink-muted); }
.contest-dialog-panel ul { margin: 23px 0 0; padding: 0; list-style: none; border-top: 1px solid var(--rule); }
.contest-dialog-panel li { position: relative; padding: 12px 8px 12px 24px; border-bottom: 1px solid var(--rule); line-height: 1.4; }
.contest-dialog-panel li::before { content: "·"; position: absolute; left: 7px; color: var(--portal-accent); }
.contest-dialog-panel .contest-dialog-status { padding: 12px 14px; border: 1px solid color-mix(in srgb, var(--portal-accent) 40%, var(--rule)); border-radius: 7px; background: color-mix(in srgb, var(--portal-accent) 7%, transparent); font-family: var(--font-mono); font-size: .64rem; }
.contest-dialog-actions { display: flex; justify-content: flex-end; gap: 9px; margin-top: 26px; }
.contest-dialog-actions button { min-width: 112px; padding: 11px 15px; border: 1px solid var(--rule); border-radius: 7px; background: var(--paper-raised); color: var(--ink); font-family: var(--font-mono); font-size: .66rem; letter-spacing: .09em; text-transform: uppercase; cursor: pointer; }
.contest-dialog-confirm { border-color: var(--ink) !important; background: var(--ink) !important; color: var(--paper) !important; }
.contest-dialog-confirm:disabled { cursor: not-allowed; opacity: .38; }

/* public milestone log */
.logs-page { max-width: 940px; }
.activity-log-list { margin: 0; padding: 0; list-style: none; border-top: 1px solid var(--rule); }
.activity-log-entry { --log-accent: var(--ink-muted); display: grid; grid-template-columns: 138px minmax(0,1fr); gap: 24px; padding: 19px 4px; border-bottom: 1px solid var(--rule); }
.activity-log-entry.log-article { --log-accent: var(--ink-math); }.activity-log-entry.log-contest { --log-accent: var(--ink-cs); }.activity-log-entry.log-announcement { --log-accent: var(--ink-prog); }.activity-log-entry.log-account { --log-accent: var(--ink-ai); }
.activity-log-entry time { color: var(--ink-muted); font: .61rem/1.5 var(--font-mono); letter-spacing: .06em; text-transform: uppercase; }
.activity-log-entry > div { display: flex; align-items: baseline; gap: 14px; min-width: 0; }
.activity-log-tag { flex: 0 0 auto; min-width: 88px; padding: 4px 7px; border: 1px solid color-mix(in srgb, var(--log-accent) 52%, var(--rule)); border-radius: 5px; color: var(--log-accent); font: .57rem var(--font-mono); letter-spacing: .11em; text-align: center; text-transform: uppercase; }
.activity-log-entry p { margin: 0; font: 1.02rem/1.5 var(--font-serif); overflow-wrap: anywhere; }
.activity-log-empty { padding: 34px 4px; color: var(--ink-muted); }

/* ================= EMPTY / 404 ================= */
.void { max-width: 1080px; margin: 0 auto; padding: 70px 24px 54px; text-align: center; }
.void-panel { position: relative; isolation: isolate; overflow: hidden; min-height: 430px; display: grid; place-content: center; padding: 54px 24px; border: 2px solid var(--ink); border-radius: 16px; background:
  linear-gradient(90deg, color-mix(in srgb, var(--ink) 5%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--ink) 4%, transparent) 1px, transparent 1px),
  radial-gradient(circle at 50% 50%, color-mix(in srgb, var(--ink-ai) 10%, transparent), transparent 40%),
  var(--paper-raised);
  background-size: 44px 44px, 44px 44px, auto, auto; box-shadow: 0 20px 52px color-mix(in srgb, var(--ink) 9%, transparent); }
.void-panel::before, .void-panel::after { content: ""; position: absolute; left: 50%; top: 50%; z-index: -1; width: min(54vw, 470px); aspect-ratio: 1; transform: translate(-50%, -50%); border: 1px dashed color-mix(in srgb, var(--ink-ai) 24%, transparent); border-radius: 50%; }
.void-panel::after { width: min(35vw, 310px); border-style: solid; border-color: color-mix(in srgb, var(--ink-math) 17%, transparent); }
.void-kicker { font-family: var(--font-mono); font-size: .58rem; letter-spacing: .17em; text-transform: uppercase; color: var(--ink-muted); }
.void .aleph { margin-top: 18px; font-size: clamp(3rem, 9vw, 5rem); color: var(--ink-ai); font-weight: 500; }
.void h1 { margin: 14px 0 0; font-family: var(--font-display); font-size: clamp(1.45rem, 3.4vw, 2.15rem); font-weight: 600; line-height: 1.1; letter-spacing: -.02em; }
.void p { font-family: var(--font-serif); font-size: 1rem; line-height: 1.45; color: var(--ink-muted); margin: 15px auto 0; max-width: 46ch; }
.void-actions { display: flex; justify-content: center; flex-wrap: wrap; gap: 9px; margin-top: 25px; }
.void-actions a, .void-actions button { min-height: 38px; padding: 8px 13px; border: 1px solid var(--rule); border-radius: 7px; background: var(--paper-raised); color: var(--ink-muted); font-family: var(--font-mono); font-size: .66rem; letter-spacing: .08em; text-transform: uppercase; cursor: pointer; }
.void-actions a:hover, .void-actions button:hover { color: var(--ink); border-color: var(--ink); }

/* ================= ACCOUNT SYSTEM ================= */
.flash-stack { position: fixed; z-index: 55; left: 50%; top: 72px; width: min(620px, calc(100vw - 28px)); transform: translateX(-50%); display: grid; gap: 8px; pointer-events: none; }
.flash { display: grid; grid-template-columns: 24px 1fr; align-items: start; gap: 10px; padding: 12px 14px; border: 1px solid var(--rule); border-left: 3px solid var(--ink-math); border-radius: 8px; background: color-mix(in srgb, var(--paper-raised) 95%, transparent); box-shadow: var(--shadow); backdrop-filter: blur(12px); color: var(--ink); pointer-events: auto; }
.flash > span { display: grid; place-items: center; width: 22px; height: 22px; border: 1px solid currentColor; border-radius: 50%; font-family: var(--font-mono); font-size: .68rem; color: var(--ink-math); }
.flash p { margin: 0; font-family: var(--font-display); font-size: .82rem; line-height: 1.45; }
.flash-success { border-left-color: var(--ink-prog); } .flash-success > span { color: var(--ink-prog); }
.flash-warning { border-left-color: var(--d5); } .flash-warning > span { color: var(--d5); }

.account-wrap { position: relative; z-index: 1; max-width: 1080px; min-height: calc(100vh - 60px); margin: 0 auto; padding: 52px 24px 72px; }
.account-stage { position: relative; isolation: isolate; display: grid; grid-template-columns: minmax(0, .92fr) minmax(420px, 1.08fr); overflow: hidden; min-height: 610px; border: 1px solid var(--rule); border-radius: 16px; background: var(--paper-raised); box-shadow: 0 24px 70px color-mix(in srgb, var(--ink) 10%, transparent); }
.account-stage::before { content: ""; position: absolute; inset: -35% 42% -35% -26%; z-index: -1; border-radius: 50%; background: radial-gradient(circle, color-mix(in srgb, var(--ink-math) 18%, transparent), color-mix(in srgb, var(--ink-ai) 7%, transparent) 42%, transparent 69%); filter: blur(12px); }
.account-stage::after { content: "01 10 00 ℵ 01 11 00 10 01 00 ℵ 11 01 10"; position: absolute; left: 30px; bottom: 24px; z-index: -1; max-width: 34ch; font-family: var(--font-mono); font-size: 1.25rem; line-height: 1.6; letter-spacing: .22em; color: var(--ink); opacity: .035; }
.account-stage-compact { min-height: 510px; }
.account-intro { display: flex; flex-direction: column; justify-content: center; padding: 62px 48px; border-right: 1px solid var(--rule); }
.account-index { font-family: var(--font-mono); font-size: .59rem; letter-spacing: .16em; text-transform: uppercase; color: var(--ink-muted); }
.account-intro h1, .account-signal h1, .account-file-head h1 { margin: 17px 0 19px; font-family: var(--font-display); font-size: clamp(2.15rem, 4.4vw, 3.55rem); font-weight: 600; line-height: .99; letter-spacing: -.045em; }
.account-intro > p { max-width: 37ch; margin: 0; color: var(--ink-muted); font-size: 1.06rem; line-height: 1.55; }
.account-intro dl { display: grid; gap: 0; margin: 42px 0 0; border-top: 1px solid var(--rule); }
.account-intro dl div { display: flex; justify-content: space-between; gap: 18px; padding: 10px 0; border-bottom: 1px solid var(--rule); font-family: var(--font-mono); font-size: .62rem; letter-spacing: .06em; text-transform: uppercase; }
.account-intro dt { color: var(--ink-muted); } .account-intro dd { margin: 0; color: var(--ink); }

.account-panel { position: relative; padding: 38px 42px 40px; background: color-mix(in srgb, var(--paper-raised) 93%, transparent); }
.account-panel-head { display: flex; justify-content: space-between; gap: 20px; padding-bottom: 12px; border-bottom: 1px solid var(--rule); font-family: var(--font-mono); font-size: .58rem; letter-spacing: .12em; text-transform: uppercase; color: var(--ink-muted); }
.account-panel h2, .account-security h2 { margin: 27px 0 8px; font-family: var(--font-display); font-size: 1.65rem; font-weight: 600; line-height: 1.1; letter-spacing: -.025em; }
.account-panel-copy { margin: 0 0 25px; color: var(--ink-muted); font-size: .94rem; line-height: 1.45; }
.account-form { display: grid; gap: 18px; }
.account-field { display: grid; gap: 7px; }
.account-label-line { display: flex; justify-content: space-between; align-items: baseline; gap: 14px; }
.account-label-line label { font-family: var(--font-display); font-size: .78rem; font-weight: 600; letter-spacing: .035em; }
.account-label-line span { font-family: var(--font-mono); font-size: .5rem; letter-spacing: .1em; text-transform: uppercase; color: var(--ghost); }
.account-input { width: 100%; min-height: 45px; padding: 10px 12px; border: 1px solid var(--rule); border-radius: 7px; outline: 0; background: var(--paper); color: var(--ink); font-family: var(--font-display); font-size: .92rem; transition: border-color .18s ease, box-shadow .18s ease, background .18s ease; }
.account-input:hover { border-color: var(--ghost); }
.account-input:focus { border-color: var(--ink-math); box-shadow: 0 0 0 3px color-mix(in srgb, var(--ink-math) 10%, transparent); background: var(--paper-raised); }
.account-field.has-error .account-input { border-color: var(--d6); box-shadow: 0 0 0 3px color-mix(in srgb, var(--d6) 8%, transparent); }
.account-help { color: var(--ink-muted); font-family: var(--font-display); font-size: .68rem; line-height: 1.4; }
.account-help ul { margin: 4px 0 0; padding-left: 18px; }
.account-help li + li { margin-top: 2px; }
.account-field-errors, .account-form-errors { color: var(--d6); font-family: var(--font-display); font-size: .72rem; line-height: 1.4; }
.account-field-errors p, .account-form-errors p { margin: 0; }
.account-form-errors { padding: 10px 12px; border: 1px solid color-mix(in srgb, var(--d6) 45%, var(--rule)); border-radius: 7px; background: color-mix(in srgb, var(--d6) 6%, transparent); }
.account-submit, .account-secondary { display: inline-flex; align-items: center; justify-content: space-between; gap: 24px; min-height: 45px; padding: 10px 14px; border: 1px solid var(--ink); border-radius: 7px; background: var(--ink); color: var(--paper); font-family: var(--font-mono); font-size: .68rem; font-weight: 600; letter-spacing: .08em; text-transform: uppercase; cursor: pointer; transition: transform .18s ease, opacity .18s ease, box-shadow .18s ease; }
.account-form .account-submit { width: 100%; margin-top: 3px; }
.account-submit:hover, .account-submit:focus-visible { transform: translateY(-2px); box-shadow: 0 10px 24px color-mix(in srgb, var(--ink) 18%, transparent); }
.account-secondary { border-color: var(--rule); background: var(--paper-raised); color: var(--ink-muted); }
.account-secondary:hover { color: var(--ink); border-color: var(--ink); }
.account-panel-links { display: flex; justify-content: space-between; gap: 18px; margin-top: 15px; font-family: var(--font-mono); font-size: .61rem; color: var(--ink-muted); }
.account-panel-links a:hover, .account-switch a:hover { color: var(--ink); text-decoration: underline; text-underline-offset: 3px; }
.account-switch, .account-legal { margin: 24px 0 0; color: var(--ink-muted); font-family: var(--font-display); font-size: .78rem; line-height: 1.5; }
.account-legal { padding-top: 14px; border-top: 1px solid var(--rule); font-size: .67rem; }

.account-signal { position: relative; isolation: isolate; overflow: hidden; min-height: 480px; padding: 82px clamp(28px, 8vw, 92px); border: 1px solid var(--rule); border-radius: 16px; background: var(--paper-raised); box-shadow: var(--shadow); }
.account-signal::after { content: ""; position: absolute; right: -8%; top: -30%; z-index: -1; width: 58%; aspect-ratio: 1; border: 1px dashed color-mix(in srgb, var(--ink-math) 28%, transparent); border-radius: 50%; box-shadow: 0 0 0 42px color-mix(in srgb, var(--ink-ai) 3%, transparent), 0 0 0 84px color-mix(in srgb, var(--ink-math) 2%, transparent); }
.account-signal-glyph { position: absolute; right: 10%; top: 50%; transform: translateY(-54%); font-family: var(--font-display); font-size: clamp(8rem, 24vw, 15rem); font-weight: 600; line-height: 1; color: var(--ink-math); opacity: .07; }
.account-signal h1 { max-width: 14ch; }
.account-signal p { max-width: 48ch; margin: 0; color: var(--ink-muted); }
.account-signal-actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 34px; }
.account-signal.is-error .account-signal-glyph { color: var(--d6); }
.account-signal.is-success .account-signal-glyph { color: var(--ink-prog); }

.account-file { overflow: hidden; border: 1px solid var(--rule); border-radius: 16px; background: var(--paper-raised); box-shadow: 0 20px 60px color-mix(in srgb, var(--ink) 8%, transparent); }
.account-file-head { position: relative; display: flex; align-items: center; justify-content: space-between; gap: 30px; min-height: 250px; padding: 44px 50px; overflow: hidden; border-bottom: 1px solid var(--rule); background: radial-gradient(circle at 88% 18%, color-mix(in srgb, var(--ink-ai) 13%, transparent), transparent 31%), radial-gradient(circle at 12% 110%, color-mix(in srgb, var(--ink-math) 11%, transparent), transparent 38%); }
.account-file-head h1 { margin-bottom: 12px; }
.account-file-head p { margin: 0; font-family: var(--font-mono); font-size: .68rem; color: var(--ink-muted); }
.account-avatar-large { display: grid; place-items: center; flex: 0 0 auto; width: 114px; aspect-ratio: 1; border: 1px solid color-mix(in srgb, var(--ink-ai) 52%, var(--rule)); border-radius: 50%; background: color-mix(in srgb, var(--ink-ai) 10%, var(--paper-raised)); color: var(--ink-ai); font-family: var(--font-display); font-size: 2.2rem; font-weight: 600; box-shadow: inset 0 0 30px color-mix(in srgb, var(--ink-ai) 8%, transparent), 0 0 34px color-mix(in srgb, var(--ink-ai) 12%, transparent); }
.account-metrics { display: grid; grid-template-columns: repeat(4, 1fr); border-bottom: 1px solid var(--rule); }
.account-metrics div { min-width: 0; padding: 18px 20px; border-right: 1px solid var(--rule); }
.account-metrics div:last-child { border-right: 0; }
.account-metrics span { display: block; font-family: var(--font-mono); font-size: .54rem; letter-spacing: .11em; text-transform: uppercase; color: var(--ink-muted); }
.account-metrics strong { display: block; margin-top: 6px; overflow: hidden; font-family: var(--font-display); font-size: 1.35rem; font-weight: 600; text-overflow: ellipsis; }
.account-file-grid { display: grid; grid-template-columns: minmax(0, 1.45fr) minmax(270px, .75fr); }
.account-file-grid > .account-panel { border-right: 1px solid var(--rule); }
.account-security { padding: 40px 32px; background: color-mix(in srgb, var(--paper) 52%, var(--paper-raised)); }
.account-security > p { margin: 0 0 28px; color: var(--ink-muted); font-size: .86rem; line-height: 1.5; }
.account-security > a, .account-security form button { display: flex; align-items: center; justify-content: space-between; width: 100%; min-height: 45px; padding: 10px 0; border: 0; border-bottom: 1px solid var(--rule); background: none; color: var(--ink-muted); font-family: var(--font-mono); font-size: .64rem; letter-spacing: .07em; text-align: left; text-transform: uppercase; cursor: pointer; transition: color .18s ease, padding .18s ease; }
.account-security > a:first-of-type { border-top: 1px solid var(--rule); }
.account-security > a:hover, .account-security form button:hover { padding-left: 5px; color: var(--ink); }

.account-closed-panel { display: flex; flex-direction: column; justify-content: center; }
.account-closed-actions { display: grid; gap: 10px; margin-top: 5px; }
.account-closed-actions .account-submit { width: 100%; }
.account-closed-actions .account-secondary { width: 100%; }

/* ================= POLICIES + CONTACT ================= */
.policy-wrap { position: relative; z-index: 1; max-width: 1080px; margin: 0 auto; padding: 52px 24px 20px; }
.policy-hero { --policy-accent: var(--ink-ai); position: relative; isolation: isolate; display: grid; grid-template-columns: minmax(0, 1.35fr) minmax(260px, .65fr); align-items: end; gap: 46px; min-height: 330px; overflow: hidden; padding: 48px 50px; border: 1px solid var(--ink); border-radius: 16px; background: radial-gradient(circle at 85% 18%, color-mix(in srgb, var(--policy-accent) 16%, transparent), transparent 32%), linear-gradient(115deg, color-mix(in srgb, var(--ink) 3%, transparent), transparent 44%), var(--paper-raised); box-shadow: 0 22px 62px color-mix(in srgb, var(--ink) 8%, transparent); }
.policy-hero::before { content: attr(data-code); position: absolute; right: 38px; top: 50%; z-index: -1; transform: translateY(-53%); font-family: var(--font-display); font-size: clamp(8rem, 20vw, 14rem); font-weight: 600; line-height: 1; letter-spacing: -.08em; color: var(--policy-accent); opacity: .055; }
.policy-hero::after { content: ""; position: absolute; right: 50px; top: 34px; width: 82px; aspect-ratio: 1; border: 1px dashed color-mix(in srgb, var(--policy-accent) 52%, transparent); border-radius: 50%; box-shadow: 0 0 0 20px color-mix(in srgb, var(--policy-accent) 3%, transparent); }
.policy-hero-terms { --policy-accent: var(--ink-math); }
.policy-hero-contact { --policy-accent: var(--ink-prog); }
.policy-kicker { display: block; font-family: var(--font-mono); font-size: .58rem; letter-spacing: .15em; text-transform: uppercase; color: var(--policy-accent, var(--ink-muted)); }
.policy-hero h1 { margin: 18px 0 0; font-family: var(--font-display); font-size: clamp(2.5rem, 6vw, 4.65rem); font-weight: 600; line-height: .94; letter-spacing: -.055em; text-wrap: balance; }
.policy-hero > p { position: relative; max-width: 36ch; margin: 0; padding-top: 17px; border-top: 1px solid var(--rule); font-family: var(--font-serif); font-size: 1.02rem; line-height: 1.48; color: var(--ink-muted); }
.policy-layout { display: grid; grid-template-columns: 220px minmax(0, 1fr); gap: 54px; margin-top: 24px; padding: 38px 44px 52px; border: 1px solid var(--rule); border-radius: 14px; background: color-mix(in srgb, var(--paper-raised) 97%, transparent); box-shadow: 0 16px 44px color-mix(in srgb, var(--ink) 5%, transparent); }
.policy-aside { position: sticky; top: 86px; align-self: start; }
.policy-aside > span { display: block; font-family: var(--font-mono); font-size: .55rem; letter-spacing: .13em; text-transform: uppercase; color: var(--ink-muted); }
.policy-aside > strong { display: block; margin-top: 6px; font-family: var(--font-display); font-size: .82rem; font-weight: 600; }
.policy-aside nav { display: grid; gap: 0; margin-top: 28px; border-top: 1px solid var(--rule); }
.policy-aside a { padding: 9px 0; border-bottom: 1px solid var(--rule); font-family: var(--font-mono); font-size: .6rem; color: var(--ink-muted); transition: color .18s ease, padding .18s ease; }
.policy-aside a:hover, .policy-aside a:focus-visible { padding-left: 5px; color: var(--ink); }
.policy-content { min-width: 0; }
.policy-content section { position: relative; padding: 34px 0 3px; border-top: 1px solid var(--rule); scroll-margin-top: 84px; }
.policy-content .policy-lead { padding-top: 0; border-top: 0; }
.policy-content .policy-lead p { font-family: var(--font-serif); font-size: clamp(1.22rem, 2.2vw, 1.55rem); line-height: 1.42; color: var(--ink); }
.policy-content h2 { margin: 0 0 14px; font-family: var(--font-display); font-size: 1.42rem; font-weight: 600; letter-spacing: -.025em; }
.policy-content p, .policy-content li { font-size: .94rem; line-height: 1.7; color: var(--ink-muted); }
.policy-content p { margin: 0 0 1em; }
.policy-content ul { margin: 0 0 1em; padding-left: 1.2em; }
.policy-content a { color: var(--ink); text-decoration: underline; text-decoration-color: var(--ghost); text-underline-offset: 3px; }
.policy-section-index { position: absolute; right: 0; top: 39px; font-family: var(--font-mono); font-size: .55rem; letter-spacing: .1em; color: var(--ink-muted); }
.contact-console { display: grid; grid-template-columns: minmax(310px, .78fr) minmax(0, 1.22fr); overflow: hidden; margin-top: 24px; border: 1px solid var(--rule); border-radius: 14px; background: var(--paper-raised); box-shadow: 0 16px 44px color-mix(in srgb, var(--ink) 5%, transparent); }
.contact-primary { --policy-accent: var(--ink-prog); padding: 44px; border-right: 1px solid var(--rule); background: radial-gradient(circle at 0 100%, color-mix(in srgb, var(--ink-prog) 10%, transparent), transparent 45%); }
.contact-primary h2, .security-channel h2 { margin: 24px 0 12px; font-family: var(--font-display); font-size: 1.65rem; font-weight: 600; letter-spacing: -.03em; }
.contact-primary > p { color: var(--ink-muted); font-size: .9rem; line-height: 1.6; }
.contact-email { display: flex; align-items: center; justify-content: space-between; gap: 20px; margin-top: 28px; padding: 14px 0; border-top: 1px solid var(--ink); border-bottom: 1px solid var(--ink); font-family: var(--font-mono); font-size: clamp(.68rem, 1.5vw, .82rem); overflow-wrap: anywhere; }
.contact-primary .contact-caution { margin-top: 24px; font-family: var(--font-mono); font-size: .58rem; line-height: 1.55; }
.contact-routing { display: grid; grid-template-columns: 1fr 1fr; }
.contact-routing article { min-height: 200px; padding: 31px; border-right: 1px solid var(--rule); border-bottom: 1px solid var(--rule); }
.contact-routing article:nth-child(2n) { border-right: 0; }
.contact-routing article:nth-last-child(-n+2) { border-bottom: 0; }
.contact-routing span { font-family: var(--font-mono); font-size: .53rem; letter-spacing: .11em; text-transform: uppercase; color: var(--ink-muted); }
.contact-routing h3 { margin: 22px 0 9px; font-family: var(--font-display); font-size: 1rem; font-weight: 600; }
.contact-routing p { margin: 0; font-size: .8rem; line-height: 1.55; color: var(--ink-muted); }
.security-channel { --policy-accent: var(--ink-ai); display: grid; grid-template-columns: minmax(200px, .65fr) minmax(300px, 1.1fr) auto; align-items: center; gap: 34px; margin-top: 18px; padding: 30px 34px; border: 1px solid var(--rule); border-radius: 12px; background: color-mix(in srgb, var(--paper-raised) 96%, transparent); }
.security-channel h2 { margin: 10px 0 0; font-size: 1.25rem; }
.security-channel > p { margin: 0; font-size: .78rem; line-height: 1.55; color: var(--ink-muted); }
.security-channel .account-secondary { white-space: nowrap; }

/* ================= COMMAND PALETTE ================= */
.pal-overlay { position: fixed; inset: 0; z-index: 60; background: color-mix(in srgb, var(--paper) 46%, transparent); backdrop-filter: blur(9px) saturate(1.15); display: none; }
.pal-overlay.open { display: block; }
.pal { position: fixed; z-index: 61; left: 50%; top: 14vh; transform: translateX(-50%); width: min(640px, 92vw); background:
  linear-gradient(90deg, color-mix(in srgb, var(--ink) 4%, transparent) 1px, transparent 1px),
  linear-gradient(color-mix(in srgb, var(--ink) 3%, transparent) 1px, transparent 1px),
  var(--paper-raised);
  background-size: 36px 36px, 36px 36px, auto; border: 1px solid var(--ink); border-radius: 13px; box-shadow: 0 28px 80px color-mix(in srgb, var(--ink) 24%, transparent); overflow: hidden; display: none; }
.pal.open { display: block; }
.pal-input { display: flex; align-items: center; gap: 12px; padding: 17px 18px; border-bottom: 1px solid var(--rule); background: color-mix(in srgb, var(--paper-raised) 92%, transparent); }
.pal-input input { flex: 1; font-family: var(--font-mono); font-size: .9rem; color: var(--ink); background: none; border: 0; outline: none; letter-spacing: .02em; }
.pal-input input::placeholder { color: var(--ghost); }
.pal-input .ax { font-family: var(--font-serif); color: var(--ink-muted); font-size: 1.05rem; }
.pal-list { max-height: 48vh; overflow-y: auto; padding: 8px; }
.pal-row { display: grid; grid-template-columns: 4.8rem minmax(0,1fr) auto; gap: 0 14px; align-items: baseline; padding: 11px 12px; border-radius: 7px; cursor: pointer; }
.pal-row .aleph { font-size: .85rem; text-align: right; }
.pal-row .pr-label { font-family: var(--font-serif); font-size: 1.02rem; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.pal-row .pr-hint { font-family: var(--font-mono); font-size: .68rem; color: var(--ghost); letter-spacing: .04em; }
.pal-row.sel { background: color-mix(in srgb, var(--ink-math) 8%, var(--paper-raised)); box-shadow: inset 2px 0 var(--ink-math); }
.pal-row .pr-cmd { font-family: var(--font-mono); font-size: .85rem; color: var(--ink); }
.pal-empty { padding: 22px 16px; font-family: var(--font-mono); font-size: .8rem; color: var(--ink-muted); }
.pal-foot { display: flex; gap: 14px; padding: 11px 18px; border-top: 1px solid var(--rule); background: color-mix(in srgb, var(--paper-raised) 92%, transparent); font-family: var(--font-mono); font-size: .64rem; color: var(--ghost); letter-spacing: .04em; }
.pal-foot b { font-weight: 500; color: var(--ink-muted); border: 1px solid var(--rule); border-radius: 3px; padding: 0 4px; }

/* ================= MOTION ================= */
@media (prefers-reduced-motion: no-preference) {
  .rise .hero, .rise .articles-overview, .rise .home-section { animation: rise .5s cubic-bezier(.2,.7,.2,1) both; }
  .rise .articles-overview { animation-delay: .04s; }
  .rise .home-contests { animation-delay: .08s; }
  .rise .home-announcements { animation-delay: .12s; }
  @keyframes rise { from { opacity: 0; transform: translateY(7px); } to { opacity: 1; transform: none; } }
}
@media (prefers-reduced-motion: reduce) {
  .theme-transitioning *, .theme-transitioning *::before, .theme-transitioning *::after { transition: none !important; }
  body, header.site { transition: none; }
  .a-row .a-title, .nav-link, .kbd, .icon-btn, .vote-btn, .chip span, .tool-btn { transition: none; }
  .hero::before, .hero::after { animation: none; display: none; }
  .ambient-cloud, .hero-symbol-track { animation: none; }
  .contest-sigil::before, .contest-kicker i { animation: none; }
  .contest-stat-grid article::before, .marking-rule::before { animation: none; }
  .difficulty-box.has-particles::before, .difficulty-box.has-particles::after { animation: none; opacity: .28; }
  .ambient-layer, .ambient-track, .hero-symbol-layer { transform: none !important; transition: none; }
  .recent-card, .recent-card::after { transition: none; }
  .hero-stats .stat, .hero-stats .stat::before, .hero-stats .sv, .hero-stats .sl { transition: none; }
  .account-input, .account-submit, .account-secondary, .account-security a, .account-security button { transition: none; }
}

/* ================= RESPONSIVE ================= */
@media (max-width: 900px) {
  main.art { --gw: 0rem; --ggap: 0rem; padding-top: 34px; }
  .art-body::before { display: none; }
  .art-body h2::before { float: none; width: auto; margin: 0 10px 0 0; padding-top: 0; }
  .archive-table { padding-right: 12px; padding-left: 12px; }
  .a-row { grid-template-columns: 4.6rem minmax(0,1fr) 4rem 3.5rem; gap: 0 12px; }
  .a-row .a-topic, .a-row .a-date, .a-row .a-min { display: none; }
  .a-head { display: none; }
  .contest-feature { grid-template-columns: 96px minmax(0, 1fr) 70px; grid-template-areas: "sigil copy difficulty" "sigil meta difficulty"; }
  .contest-sigil { width: 84px; }
  .contest-difficulty { width: 66px; }
  .account-stage { grid-template-columns: minmax(0, .8fr) minmax(400px, 1.2fr); }
  .account-intro { padding-left: 36px; padding-right: 36px; }
  .account-file-grid { grid-template-columns: minmax(0, 1.25fr) minmax(250px, .75fr); }
}
@media (max-width: 840px) {
  .kbd { display: none; }
  html:not(.no-js) nav.sections { display: none; }
  html:not(.no-js) .auth-guest { display: none; }
  .nav-toggle { display: block; }
  .mobile-nav:not([hidden]) { display: grid; grid-template-columns: minmax(0, 1.25fr) minmax(210px, .75fr); gap: 26px; max-width: 1080px; max-height: calc(100vh - 60px); overflow-y: auto; margin: 0 auto; padding: 20px 16px 24px; border-top: 1px solid var(--rule); background: color-mix(in srgb, var(--paper) 96%, transparent); }
  .mobile-nav nav { display: grid; }
  .mobile-nav nav a { display: grid; grid-template-columns: 40px 1fr; gap: 10px; padding: 13px 8px; border-bottom: 1px solid var(--rule); font-family: var(--font-display); font-size: 1.22rem; font-weight: 600; }
  .mobile-nav nav a span { padding-top: 4px; font-family: var(--font-mono); font-size: .57rem; font-weight: 400; letter-spacing: .1em; color: var(--ink-muted); }
  .mobile-nav nav a[aria-current="page"] { color: var(--focus); }
  .mobile-nav-utilities { display: grid; align-content: start; gap: 8px; }
  .mobile-nav-utilities > * { display: flex; align-items: center; justify-content: space-between; gap: 12px; min-height: 46px; padding: 10px 12px; border: 1px solid var(--rule); border-radius: 7px; background: var(--paper-raised); color: var(--ink); font-family: var(--font-mono); font-size: .65rem; cursor: pointer; }
  .mobile-nav-utilities strong, .mobile-nav-utilities kbd { font-size: .57rem; font-weight: 400; color: var(--ink-muted); }
  html.no-js .bar { height: auto; min-height: 60px; flex-wrap: wrap; padding-top: 12px; padding-bottom: 12px; }
  html.no-js .bar .left { flex: 1 1 100%; flex-wrap: wrap; }
  html.no-js nav.sections { flex: 1 1 100%; order: 3; }
}
@media (max-width: 760px) {
  .bar { padding: 0 16px; }
  main.wrap { padding: 28px 16px 0; }
  main.art { padding-left: 16px; padding-right: 16px; }
  .article-feedback { grid-template-columns: 1fr auto; }.article-feedback > small { grid-column: 1 / -1; text-align: left; }
  .hero { padding: 30px 22px 26px; }
  .hero-stats { grid-template-columns: 1fr 1fr; gap: 10px; }
  .ambient-near { opacity: .72; }
  .topic-grid { grid-template-columns: 1fr 1fr; }
  .topic-card { min-height: 174px; }
  .topic-distribution { margin-top: 68px; }
  .recent-feature .recent-card-link { padding-right: 112px; }
  .recent-feature .difficulty-box { right: 17px; width: 76px; }
  .recent-feature .recent-glyph { right: 98px; }
  .home-announcement-list { grid-template-columns: 1fr; }
  .home-announcement { min-height: 136px; }
  .ann-list { grid-template-columns: 1fr; }
  .dispatch-head { min-height: 260px; padding: 36px 32px 32px; }
  .dispatch-body { padding: 42px 38px 48px; }
  .dispatch-signoff { padding-left: 38px; padding-right: 38px; }
  .article-search { grid-template-columns: 1fr; gap: 12px; }
  .article-search-copy { padding-left: 0; }
  .art-body { padding: 36px 38px 40px; }
  .page-head { min-height: 150px; padding: 57px 26px 25px; }
  .page-head::before { left: 26px; }
  footer.site { padding: 0; }
  .footer-inner { padding: 42px 16px 26px; }
  .footer-grid { grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 30px 24px; }
  .footer-summary { grid-column: 1 / -1; max-width: 520px; }
  .footer-base { align-items: flex-start; flex-direction: column; }
  .footer-utilities { justify-content: flex-start; }
  .policy-wrap { padding: 28px 16px 0; }
  .policy-hero { grid-template-columns: 1fr; gap: 28px; min-height: 360px; padding: 38px 30px; }
  .policy-layout { grid-template-columns: 1fr; gap: 30px; padding: 32px 28px 42px; }
  .policy-aside { position: static; }
  .policy-aside nav { grid-template-columns: repeat(2, minmax(0, 1fr)); column-gap: 18px; }
  .contact-console { grid-template-columns: 1fr; }
  .contact-primary { border-right: 0; border-bottom: 1px solid var(--rule); }
  .security-channel { grid-template-columns: 1fr; gap: 18px; }
  .security-channel .account-secondary { justify-self: start; }
  .account-wrap { padding: 28px 16px 56px; }
  .account-stage { grid-template-columns: 1fr; }
  .account-intro { min-height: 390px; border-right: 0; border-bottom: 1px solid var(--rule); }
  .account-stage-compact .account-intro { min-height: 320px; }
  .account-file-grid { grid-template-columns: 1fr; }
  .account-file-grid > .account-panel { border-right: 0; border-bottom: 1px solid var(--rule); }
  .account-file-head { padding: 38px 34px; }
}
@media (max-width: 560px) {
  .bar { gap: 8px; }
  .bar .left { gap: 12px; min-width: 0; }
  nav.sections { overflow-x: auto; scrollbar-width: none; }
  nav.sections::-webkit-scrollbar { display: none; }
  .nav-link { padding: 6px 7px; font-size: .78rem; }
  #authToggle { display: none; }
  .art-head { min-height: 190px; padding: 54px 23px 27px; }
  .art-head::before { left: 23px; }
  .art-head::after { right: 18px; font-size: 5.2rem; opacity: .075; }
  .art-head h1 { position: relative; z-index: 1; max-width: 17ch; font-size: 2rem; }
  .art-head .metaline { position: relative; z-index: 1; }
  .article-search { padding: 15px; }
  .article-search-field { grid-template-columns: auto minmax(0, 1fr); }
  .article-search-full { grid-column: 1 / -1; width: 100%; }
  .article-search-result { grid-template-columns: 4.2rem minmax(0, 1fr); gap: 9px; }
  .article-search-result small { display: none; }
  .art-body { padding: 30px 22px 34px; }
  .art-body h2 { font-size: 1.3rem; }
  .page-head { padding-left: 21px; padding-right: 21px; }
  .page-head::before { left: 21px; }
  .page-head .meta { max-width: 28ch; }
  .toolbar .meta:last-child { display: none; }
  .ann { grid-template-columns: 1fr; min-height: 0; }
  .ann .a-date { grid-column: 1; grid-row: 1; }
  .ann .a-tag { grid-column: 1; grid-row: 2; }
  .ann .a-text { grid-column: 1; grid-row: 3; }
  .ann .a-open { grid-column: 1; grid-row: 4; }
  .dispatch-head { min-height: 240px; padding: 30px 24px; }
  .dispatch-head::after { right: 12px; }
  .dispatch-head h1 { margin-top: 28px; }
  .dispatch-body { padding: 34px 24px 40px; font-size: 1.05rem; }
  .dispatch-signoff { grid-template-columns: 1fr; padding: 18px 24px; }
  .contest-portal-head h1 { font-size: 2.15rem; }
  .contest-stat-grid, .marking-rule-grid { gap: 8px; }
  .contest-stat-grid article { min-height: 104px; padding: 14px 12px; }
  .contest-stat-grid strong { font-size: 2.15rem; }
  .contest-stat-grid article > span { margin-top: 10px; font-size: .56rem; }
  .marking-group header { gap: 9px; }
  .marking-rule { min-height: 104px; padding: 12px 10px; }
  .marking-rule strong { font-size: 2.1rem; }
  .marking-rule span, .marking-rule small { font-size: .53rem; }
  .marking-empty { grid-template-columns: 50px 1fr; padding: 23px 18px; }
  .contest-dialog-panel { padding: 28px 22px; }
  .contest-dialog-actions { flex-direction: column-reverse; }
  .contest-dialog-actions button { width: 100%; }
  .activity-log-entry { grid-template-columns: 104px minmax(0,1fr); gap: 14px; }
  .activity-log-entry > div { align-items: flex-start; flex-direction: column; gap: 7px; }
  .distribution-meta, .recent-head { align-items: flex-end; }
  .recent-quad { grid-template-columns: 1fr; gap: 10px; }
  .recent-feature { min-height: 252px; }
  .recent-feature .recent-card-link { padding: 19px 96px 18px 18px; }
  .recent-feature h2 { font-size: 1.72rem; }
  .recent-feature p { font-size: .92rem; line-height: 1.32; }
  .recent-feature .difficulty-box { right: 14px; width: 68px; }
  .recent-feature .recent-glyph { right: 82px; font-size: 4.5rem; }
  .home-section { margin-top: 46px; }
  .home-section + .home-section { margin-top: 54px; }
  .contest-feature { display: grid; grid-template-columns: minmax(0, 1fr) 64px; grid-template-areas: "copy difficulty" "meta difficulty"; min-height: 0; padding: 17px 16px; }
  .contest-sigil { position: absolute; right: -23px; top: -27px; width: 112px; opacity: .24; }
  .contest-copy, .contest-meta, .contest-difficulty { position: relative; z-index: 1; }
  .contest-meta { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 10px; }
  .contest-meta > span:last-child:nth-child(odd) { grid-column: 1 / -1; }
  .contest-difficulty { width: 60px; }
  .footer-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .footer-summary { grid-column: 1 / -1; }
  .footer-utilities { gap: 10px 16px; }
  .footer-base-copy { align-items: flex-start; flex-direction: column; }
  .policy-hero { min-height: 340px; padding: 34px 24px; }
  .policy-hero::after { right: 24px; top: 25px; width: 64px; }
  .policy-layout { padding: 28px 22px 36px; }
  .policy-content h2 { padding-right: 34px; }
  .contact-primary { padding: 34px 24px; }
  .contact-routing { grid-template-columns: 1fr; }
  .contact-routing article, .contact-routing article:nth-child(2n), .contact-routing article:nth-last-child(-n+2) { min-height: 0; border-right: 0; border-bottom: 1px solid var(--rule); }
  .contact-routing article:last-child { border-bottom: 0; }
  .security-channel { padding: 28px 24px; }
  .account-stage, .account-file, .account-signal { border-radius: 11px; }
  .account-intro { min-height: 340px; padding: 42px 25px; }
  .account-intro dl { margin-top: 30px; }
  .account-panel { padding: 30px 23px 32px; }
  .account-panel-links { align-items: flex-start; flex-direction: column; gap: 8px; }
  .account-signal { min-height: 450px; padding: 62px 25px; }
  .account-signal-glyph { right: 3%; top: 24%; }
  .account-file-head { min-height: 250px; padding: 35px 25px; }
  .account-avatar-large { width: 76px; font-size: 1.55rem; }
  .account-metrics { grid-template-columns: 1fr 1fr; }
  .account-metrics div:nth-child(2) { border-right: 0; }
  .account-metrics div:nth-child(-n+2) { border-bottom: 1px solid var(--rule); }
  .account-security { padding: 34px 24px; }
}
@media (max-width: 400px) {
  .bar .left { gap: 10px; }
  .brand .mark { font-size: 1.3rem; }
  .brand .name { display: none; }
  .btn-ghost { display: none; }
  .mobile-nav:not([hidden]) { grid-template-columns: 1fr; gap: 16px; }
  .topic-grid { gap: 8px; }
  .topic-card { min-height: 174px; padding-left: 11px; padding-right: 11px; }
  .topic-card p { font-size: .79rem; }
  .topic-share { left: 11px; gap: 4px; }
  .topic-share strong { font-size: .88rem; }
  .topic-share span { font-size: .46rem; }
  .archive-table { padding-right: 9px; padding-left: 9px; border-radius: 11px; }
  .archive-table::before { left: 9px; right: 9px; }
  .a-row { grid-template-columns: 4.2rem minmax(0,1fr) 3.4rem 3.2rem; gap: 0 7px; padding-right: 3px; padding-left: 3px; }
  .a-votes { font-size: .55rem; }
  .a-row .diff { min-width: 3rem; min-height: 2.75rem; }
  .footer-grid { grid-template-columns: 1fr; }
  .footer-summary { grid-column: auto; }
  .account-file-head { align-items: flex-start; flex-direction: column-reverse; }
  .account-avatar-large { width: 62px; }
  .account-signal-actions { align-items: stretch; flex-direction: column; }
}