/* anla.evemisslab.com — one stylesheet, no dependencies.
   Signature colour: blueprint blue. Warm paper in light, ink in dark, per the
   EveMissLab family convention. */

:root {
  --paper: #f6f4f0;
  --paper-2: #fffefc;
  --paper-3: #ece8e1;
  --ink: #16181c;
  --ink-2: #3f444d;
  --ink-3: #6b7280;
  --rule: #d9d4cb;
  --rule-2: #c6c0b5;
  --accent: #12557d;
  --accent-2: #0d3f5e;
  --accent-wash: #e7eff5;
  --ok: #1c6b4a;
  --warn: #8a5a10;
  --bad: #a02525;
  --mono: ui-monospace, "Cascadia Mono", "JetBrains Mono", "SF Mono", Menlo, Consolas, monospace;
  --sans: "Inter", "Segoe UI", system-ui, -apple-system, "Noto Sans TC",
    "Microsoft JhengHei", sans-serif;
  --serif: "Iowan Old Style", "Source Serif 4", Georgia, "Noto Serif TC", serif;
  --shadow: 0 1px 2px rgba(20, 24, 30, .06), 0 8px 24px -12px rgba(20, 24, 30, .18);
  --radius: 10px;
  --wrap: 1120px;
}

@media (prefers-color-scheme: dark) {
  :root {
    --paper: #14161a;
    --paper-2: #1b1e23;
    --paper-3: #23272e;
    --ink: #e9e7e2;
    --ink-2: #b8b5ae;
    --ink-3: #8d8b85;
    --rule: #2e333b;
    --rule-2: #3c424c;
    --accent: #6fb3d9;
    --accent-2: #a4d0e8;
    --accent-wash: #172935;
    --ok: #6fc39b;
    --warn: #d9ab5c;
    --bad: #e88b8b;
    --shadow: 0 1px 2px rgba(0, 0, 0, .4), 0 10px 30px -14px rgba(0, 0, 0, .7);
  }
}

* { box-sizing: border-box; }

html { -webkit-text-size-adjust: 100%; scroll-behavior: smooth; }

body {
  margin: 0;
  background: var(--paper);
  color: var(--ink);
  font-family: var(--sans);
  font-size: 16.5px;
  line-height: 1.62;
  font-feature-settings: "kern" 1, "liga" 1;
}

.wrap { width: 100%; max-width: var(--wrap); margin: 0 auto; padding: 0 22px; }

a { color: var(--accent); text-decoration-color: color-mix(in srgb, var(--accent) 35%, transparent); text-underline-offset: .18em; }
a:hover { color: var(--accent-2); }

/* ---------------------------------------------------------------- topbar */

.topbar {
  position: sticky; top: 0; z-index: 40;
  background: color-mix(in srgb, var(--paper) 88%, transparent);
  backdrop-filter: saturate(150%) blur(10px);
  border-bottom: 1px solid var(--rule);
}
.topbar .inner { display: flex; align-items: center; gap: 18px; height: 58px; }
.brand { display: flex; align-items: center; gap: 10px; font-weight: 700; text-decoration: none; color: var(--ink); letter-spacing: -.01em; }
.brand .mark {
  width: 26px; height: 26px; border-radius: 6px; display: grid; place-items: center;
  background: var(--accent); color: var(--paper-2); font: 700 13px/1 var(--mono);
}
.brand small { display: block; font: 400 11px/1.2 var(--sans); color: var(--ink-3); letter-spacing: .02em; }
.nav { display: flex; gap: 2px; margin-left: auto; flex-wrap: wrap; }
.nav a {
  padding: 6px 10px; border-radius: 7px; font-size: 14px; text-decoration: none;
  color: var(--ink-2);
}
.nav a:hover { background: var(--paper-3); color: var(--ink); }
.nav a[aria-current="page"] { color: var(--accent); background: var(--accent-wash); }
.langswitch { font: 500 13px/1 var(--mono); padding: 6px 9px; border: 1px solid var(--rule-2); border-radius: 7px; text-decoration: none; color: var(--ink-2); }
.langswitch:hover { border-color: var(--accent); color: var(--accent); }

/* ---------------------------------------------------------------- hero */

.hero { padding: 68px 0 40px; }
.eyebrow { font: 600 12px/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--accent); }
h1 { font: 700 clamp(30px, 5vw, 50px)/1.1 var(--sans); letter-spacing: -.025em; margin: 16px 0 0; max-width: 21ch; }
h1 em { font-style: normal; color: var(--accent); }
.lead { font-size: clamp(17px, 2.2vw, 20px); color: var(--ink-2); max-width: 62ch; margin: 18px 0 0; }
.hero-grid { display: grid; grid-template-columns: 1.35fr .95fr; gap: 40px; align-items: start; }
.actions { display: flex; flex-wrap: wrap; gap: 10px; margin-top: 26px; }

.btn {
  display: inline-flex; align-items: center; gap: 8px; cursor: pointer;
  padding: 10px 16px; border-radius: 8px; border: 1px solid var(--rule-2);
  background: var(--paper-2); color: var(--ink); font: 500 14.5px/1 var(--sans);
  text-decoration: none; transition: border-color .15s, background .15s, transform .05s;
}
.btn:hover { border-color: var(--accent); color: var(--accent); }
.btn:active { transform: translateY(1px); }
.btn.primary { background: var(--accent); border-color: var(--accent); color: #fff; }
.btn.primary:hover { background: var(--accent-2); border-color: var(--accent-2); color: #fff; }
.btn.small { padding: 6px 11px; font-size: 13px; }
.btn[disabled] { opacity: .45; cursor: not-allowed; }
@media (prefers-color-scheme: dark) {
  .btn.primary { color: #0d1014; }
  .btn.primary:hover { color: #0d1014; }
}

.card {
  background: var(--paper-2); border: 1px solid var(--rule); border-radius: var(--radius);
  box-shadow: var(--shadow); padding: 20px;
}
.card .label { font: 600 11px/1 var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); }
.invariant {
  font: 600 18px/1.5 var(--mono); color: var(--accent); margin: 10px 0 16px;
  word-break: break-word;
}
.facts { display: grid; gap: 0; }
.facts div { display: flex; justify-content: space-between; gap: 14px; padding: 9px 0; border-top: 1px solid var(--rule); font-size: 14px; }
.facts div:first-child { border-top: 0; }
.facts span { color: var(--ink-3); }
.facts strong { font: 600 13px/1.4 var(--mono); }

.tag {
  display: inline-block; font: 600 11px/1 var(--mono); letter-spacing: .08em;
  text-transform: uppercase; padding: 5px 8px; border-radius: 999px;
  background: var(--accent-wash); color: var(--accent); margin-bottom: 12px;
}

/* ---------------------------------------------------------------- strips */

.strip { display: grid; grid-template-columns: repeat(4, 1fr); gap: 1px; background: var(--rule); border: 1px solid var(--rule); border-radius: var(--radius); overflow: hidden; margin: 34px 0 0; }
.strip > div { background: var(--paper-2); padding: 16px 18px; }
.strip strong { display: block; font-size: 14px; }
.strip span { font-size: 13.5px; color: var(--ink-3); }

.section { padding: 54px 0; border-top: 1px solid var(--rule); }
.section:first-of-type { border-top: 0; }
.kicker { font: 600 12px/1 var(--mono); letter-spacing: .12em; text-transform: uppercase; color: var(--accent); }
h2 { font: 700 clamp(22px, 3.2vw, 32px)/1.2 var(--sans); letter-spacing: -.02em; margin: 12px 0 0; max-width: 30ch; }
h3 { font: 600 17px/1.35 var(--sans); margin: 0 0 6px; }
.section-desc { color: var(--ink-2); max-width: 68ch; margin: 12px 0 0; }
.section-head { margin-bottom: 28px; }
.section-head h1 { font: 700 clamp(22px, 3.2vw, 32px)/1.2 var(--sans); letter-spacing: -.02em; margin: 12px 0 0; max-width: 30ch; }

.grid-3 { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; }
.grid-2 { display: grid; grid-template-columns: repeat(2, 1fr); gap: 18px; }
.feature { background: var(--paper-2); border: 1px solid var(--rule); border-radius: var(--radius); padding: 20px; }
.feature .num { font: 700 12px/1 var(--mono); color: var(--accent); letter-spacing: .1em; }
.feature p { color: var(--ink-2); font-size: 15px; margin: 0 0 12px; }
.feature code, .inline-code { font: 500 12.5px/1.5 var(--mono); background: var(--paper-3); border: 1px solid var(--rule); border-radius: 6px; padding: 5px 8px; display: inline-block; color: var(--ink-2); }

.plane { background: var(--paper-2); border: 1px solid var(--rule); border-radius: var(--radius); padding: 20px; }
.plane.preserve { border-left: 3px solid var(--accent); }
.plane.intel { border-left: 3px solid var(--rule-2); border-style: dashed; }
.plane ul { margin: 12px 0 0; padding-left: 18px; color: var(--ink-2); font-size: 14.5px; }
.plane .plane-tag { font: 600 11px/1 var(--mono); letter-spacing: .09em; text-transform: uppercase; color: var(--ink-3); }

/* ---------------------------------------------------------------- workbench */

.shell { border: 1px solid var(--rule); border-radius: 12px; overflow: hidden; background: var(--paper-2); box-shadow: var(--shadow); }
.shell-top { display: flex; align-items: center; gap: 12px; padding: 10px 14px; border-bottom: 1px solid var(--rule); background: var(--paper-3); }
.dots { display: flex; gap: 6px; }
.dots i { width: 9px; height: 9px; border-radius: 50%; background: var(--rule-2); }
.shell-title { font: 500 13px/1 var(--mono); color: var(--ink-3); }
.badge { margin-left: auto; font: 500 11.5px/1 var(--mono); padding: 5px 8px; border-radius: 999px; border: 1px solid var(--rule-2); color: var(--ink-3); }
.badge.ok { color: var(--ok); border-color: color-mix(in srgb, var(--ok) 40%, transparent); }
.badge.bad { color: var(--bad); border-color: color-mix(in srgb, var(--bad) 40%, transparent); }

.shell-body { display: grid; grid-template-columns: 216px 1fr; }
.tabs { border-right: 1px solid var(--rule); padding: 14px; display: flex; flex-direction: column; gap: 6px; background: var(--paper); }
.tab { text-align: left; cursor: pointer; border: 1px solid transparent; background: none; color: var(--ink-2); font: 500 13.5px/1.3 var(--sans); padding: 9px 10px; border-radius: 8px; }
.tab:hover { background: var(--paper-3); }
.tab.active { background: var(--paper-2); border-color: var(--rule); color: var(--accent); font-weight: 600; }
.tabs .note { margin-top: auto; padding-top: 14px; font-size: 12.5px; color: var(--ink-3); line-height: 1.5; }

.panel { display: none; padding: 22px; }
.panel.active { display: block; }
.panel-title { display: flex; justify-content: space-between; align-items: flex-start; gap: 16px; margin-bottom: 16px; }
.panel-title p { margin: 4px 0 0; font-size: 14px; color: var(--ink-3); max-width: 62ch; }

.drop {
  display: block; border: 1.5px dashed var(--rule-2); border-radius: 10px;
  padding: 26px 20px; text-align: center; cursor: pointer; background: var(--paper);
  transition: border-color .15s, background .15s;
}
.drop:hover, .drop.over { border-color: var(--accent); background: var(--accent-wash); }
.drop input[type=file] { display: none; }
.drop .icon { font: 400 24px/1 var(--mono); color: var(--accent); display: block; }
.drop strong { display: block; margin: 8px 0 4px; }
.drop small { color: var(--ink-3); display: block; max-width: 52ch; margin: 0 auto; }
.drop .mini { display: block; margin-top: 12px; }

.summaries { display: grid; grid-template-columns: repeat(4, 1fr); gap: 10px; margin: 16px 0; }
.summary { border: 1px solid var(--rule); border-radius: 8px; padding: 10px 12px; background: var(--paper); }
.summary span { display: block; font: 500 11px/1 var(--mono); letter-spacing: .06em; text-transform: uppercase; color: var(--ink-3); }
.summary strong { display: block; margin-top: 6px; font: 600 15px/1.2 var(--mono); word-break: break-all; }

.form { display: grid; grid-template-columns: repeat(2, 1fr); gap: 12px; margin: 16px 0; }
.field { display: flex; flex-direction: column; gap: 6px; font-size: 13px; color: var(--ink-3); }
.field.wide { grid-column: 1 / -1; }
.field select, .field input[type=text], .field textarea {
  font: 500 14px/1.4 var(--mono); color: var(--ink); background: var(--paper);
  border: 1px solid var(--rule-2); border-radius: 8px; padding: 8px 10px; width: 100%;
}
.field textarea { min-height: 66px; resize: vertical; }
.field input[type=range] { width: 100%; accent-color: var(--accent); }
.checks { display: flex; flex-wrap: wrap; gap: 14px; font-size: 13.5px; color: var(--ink-2); margin-bottom: 16px; }
.checks label { display: inline-flex; gap: 7px; align-items: center; }
.checks input { accent-color: var(--accent); }

.action-row { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; }
.status { font: 500 13px/1.4 var(--mono); color: var(--ink-3); }

.result { margin-top: 18px; border: 1px solid var(--rule); border-radius: 10px; overflow: hidden; }
.result[hidden] { display: none; }
.result-head { display: flex; justify-content: space-between; align-items: center; gap: 14px; padding: 12px 14px; background: var(--paper-3); border-bottom: 1px solid var(--rule); flex-wrap: wrap; }
.result-head .ok { display: inline-flex; align-items: center; gap: 8px; font-weight: 600; color: var(--ok); font-size: 14.5px; }
.result-head .ok i { width: 8px; height: 8px; border-radius: 50%; background: var(--ok); }
.result .summaries { margin: 14px; }
.report { font: 500 12.5px/1.65 var(--mono); background: var(--paper); margin: 0; padding: 14px; border-top: 1px solid var(--rule); overflow-x: auto; white-space: pre; color: var(--ink-2); max-height: 340px; }

.searchbar { display: flex; gap: 8px; padding: 0 14px 12px; }
.searchbar input { flex: 1; font: 500 13.5px/1.4 var(--mono); padding: 8px 10px; border: 1px solid var(--rule-2); border-radius: 8px; background: var(--paper); color: var(--ink); }
.objects { max-height: 300px; overflow: auto; border-top: 1px solid var(--rule); }
.objects .row { display: grid; grid-template-columns: 1fr auto auto; gap: 12px; padding: 8px 14px; border-bottom: 1px solid var(--rule); font: 500 12.5px/1.4 var(--mono); align-items: center; }
.objects .row:last-child { border-bottom: 0; }
.objects .row .p { word-break: break-all; }
.objects .row .s { color: var(--ink-3); }
.objects .row .h { color: var(--accent); }
.filelist { max-height: 170px; overflow: auto; border: 1px solid var(--rule); border-radius: 8px; margin-bottom: 4px; }
.filelist[hidden] { display: none; }
.filelist div { padding: 5px 10px; border-bottom: 1px solid var(--rule); font: 500 12px/1.5 var(--mono); color: var(--ink-2); word-break: break-all; }
.filelist div:last-child { border-bottom: 0; }

.toast {
  position: fixed; left: 50%; bottom: 26px; transform: translateX(-50%);
  background: var(--ink); color: var(--paper); padding: 10px 16px; border-radius: 8px;
  font: 500 14px/1.4 var(--sans); box-shadow: var(--shadow); z-index: 90; max-width: 90vw;
}
.toast[hidden] { display: none; }
.toast.error { background: var(--bad); color: #fff; }

.busy { position: fixed; inset: 0; background: color-mix(in srgb, var(--paper) 78%, transparent); backdrop-filter: blur(3px); display: grid; place-items: center; z-index: 80; }
.busy[hidden] { display: none; }
.busy .box { background: var(--paper-2); border: 1px solid var(--rule); border-radius: 12px; padding: 22px 26px; text-align: center; box-shadow: var(--shadow); }
.spinner { width: 26px; height: 26px; border: 2px solid var(--rule-2); border-top-color: var(--accent); border-radius: 50%; margin: 0 auto 12px; animation: spin .8s linear infinite; }
@keyframes spin { to { transform: rotate(360deg); } }
.busy strong { display: block; }
.busy span { font-size: 13.5px; color: var(--ink-3); }

.selftest { position: fixed; left: 12px; bottom: 12px; z-index: 95; font: 600 12px/1 var(--mono); padding: 7px 10px; border-radius: 6px; background: var(--ink); color: var(--paper); }
.selftest[data-status=pass] { background: var(--ok); color: #fff; }
.selftest[data-status=fail] { background: var(--bad); color: #fff; }

/* ---------------------------------------------------------------- live test */

.runbar { display: flex; flex-wrap: wrap; gap: 10px; align-items: center; margin-bottom: 22px; }
.runmeta { font-size: 13.5px; color: var(--ink-3); }
.runmeta b { font: 600 13.5px/1 var(--mono); color: var(--ink-2); }
.runmeta small { display: block; font-size: 12.5px; }

.callout.pass { border-left-color: var(--ok); }
.callout.pass, .callout.fail { font: 600 15.5px/1.5 var(--sans); }
.callout.fail { border-left-color: var(--bad); color: var(--bad); }

.suites { display: grid; gap: 20px; }
.suite { border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-2); overflow: hidden; }
.suite-head { display: flex; align-items: baseline; gap: 12px; padding: 14px 16px 0; }
.suite-head h3 { margin: 0; }
.suite-count { margin-left: auto; font: 600 12px/1 var(--mono); padding: 5px 8px; border-radius: 999px; border: 1px solid var(--rule-2); color: var(--ink-3); }
.suite-count.ok { color: var(--ok); border-color: color-mix(in srgb, var(--ok) 40%, transparent); }
.suite-count.bad { color: var(--bad); border-color: color-mix(in srgb, var(--bad) 40%, transparent); }
.suite-desc { margin: 6px 16px 14px; font-size: 14px; color: var(--ink-3); max-width: 84ch; }

.rows { border-top: 1px solid var(--rule); }
.trow {
  display: grid; grid-template-columns: 84px minmax(140px, 1.1fr) minmax(0, 1.4fr) 62px;
  gap: 12px; align-items: baseline; padding: 8px 16px;
  border-bottom: 1px solid var(--rule); font-size: 14px;
}
.trow:last-child { border-bottom: 0; }
.tid { font: 600 11.5px/1.5 var(--mono); color: var(--ink-3); letter-spacing: .02em; }
.tlabel { color: var(--ink); overflow-wrap: anywhere; }
.tdetail { font: 500 12.5px/1.5 var(--mono); color: var(--ink-3); overflow-wrap: anywhere; }
.tstatus { font: 700 11.5px/1.5 var(--mono); text-align: right; letter-spacing: .04em; }
.trow.running .tstatus { color: var(--ink-3); }
.trow.pass .tstatus { color: var(--ok); }
.trow.pass .tid { color: var(--accent); }
.trow.fail { background: color-mix(in srgb, var(--bad) 8%, transparent); }
.trow.fail .tstatus, .trow.fail .tdetail { color: var(--bad); }

@media (max-width: 700px) {
  .trow { grid-template-columns: 1fr auto; gap: 2px 10px; }
  .tid { grid-column: 1; }
  .tstatus { grid-column: 2; grid-row: 1; }
  .tlabel, .tdetail { grid-column: 1 / -1; }
}

/* ---------------------------------------------------------------- prose */

.prose { max-width: 74ch; }
.prose.wide { max-width: 88ch; }
.prose h1 { font-size: clamp(26px, 4vw, 38px); max-width: 30ch; margin-top: 0; }
.prose h2 { margin: 44px 0 14px; padding-top: 14px; border-top: 1px solid var(--rule); }
.prose h3 { margin: 30px 0 10px; font-size: 17.5px; }
.prose h4 { margin: 22px 0 8px; font-size: 15.5px; }
.prose p { margin: 14px 0; }
.prose ul, .prose ol { margin: 14px 0; padding-left: 24px; }
.prose li { margin: 5px 0; }
.prose blockquote {
  margin: 20px 0; padding: 14px 18px; border-left: 3px solid var(--accent);
  background: var(--accent-wash); border-radius: 0 8px 8px 0;
  font-family: var(--serif); font-size: 17px;
}
.prose pre { background: var(--paper-2); border: 1px solid var(--rule); border-radius: 8px; padding: 14px 16px; overflow-x: auto; font: 500 13px/1.6 var(--mono); }
.prose code { font: 500 .92em/1.5 var(--mono); background: var(--paper-3); border-radius: 4px; padding: 1px 5px; }
.prose pre code { background: none; padding: 0; }
.prose hr { border: 0; border-top: 1px solid var(--rule); margin: 34px 0; }
.prose table { border-collapse: collapse; width: 100%; font-size: 14.5px; }
.prose th, .prose td { text-align: left; padding: 8px 12px; border-bottom: 1px solid var(--rule); vertical-align: top; }
.prose th { font: 600 12.5px/1.3 var(--mono); letter-spacing: .03em; text-transform: uppercase; color: var(--ink-3); border-bottom-color: var(--rule-2); }
.table-scroll { overflow-x: auto; margin: 18px 0; }
.math-block { font: 500 15px/1.7 var(--mono); background: var(--paper-2); border: 1px solid var(--rule); border-left: 3px solid var(--accent); border-radius: 0 8px 8px 0; padding: 14px 18px; margin: 20px 0; overflow-x: auto; white-space: pre-wrap; color: var(--accent); }
.math-inline { font: 500 .95em/1.4 var(--mono); color: var(--accent); }

.docmeta { border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-2); padding: 16px 18px; margin: 0 0 30px; font-size: 14px; }
.docmeta dl { display: grid; grid-template-columns: max-content 1fr; gap: 4px 18px; margin: 0; }
.docmeta dt { color: var(--ink-3); font: 500 12.5px/1.6 var(--mono); }
.docmeta dd { margin: 0; }

.doclayout { display: grid; grid-template-columns: 1fr 232px; gap: 44px; align-items: start; }
.toc { position: sticky; top: 78px; font-size: 13.5px; border-left: 1px solid var(--rule); padding-left: 16px; max-height: calc(100vh - 110px); overflow: auto; }
.toc strong { display: block; font: 600 11px/1 var(--mono); letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); margin-bottom: 10px; }
.toc a { display: block; padding: 3px 0; color: var(--ink-2); text-decoration: none; }
.toc a:hover { color: var(--accent); }
.toc a.l3 { padding-left: 12px; font-size: 13px; color: var(--ink-3); }

.callout { border: 1px solid var(--rule); border-left: 3px solid var(--warn); background: var(--paper-2); border-radius: 0 8px 8px 0; padding: 14px 18px; margin: 22px 0; font-size: 15px; }
.callout strong { color: var(--warn); }

.filecards { display: grid; gap: 12px; }
.filecard { display: flex; justify-content: space-between; align-items: center; gap: 16px; border: 1px solid var(--rule); border-radius: var(--radius); background: var(--paper-2); padding: 14px 16px; text-decoration: none; color: var(--ink); }
.filecard:hover { border-color: var(--accent); }
.filecard .t { font-weight: 600; }
.filecard .d { font-size: 14px; color: var(--ink-3); margin-top: 2px; }
.filecard .m { font: 500 12px/1 var(--mono); color: var(--ink-3); white-space: nowrap; }

.footer { border-top: 1px solid var(--rule); margin-top: 40px; padding: 26px 0 44px; color: var(--ink-3); font-size: 13.5px; }
.footer .inner { display: flex; justify-content: space-between; gap: 20px; flex-wrap: wrap; }
.footer a { color: var(--ink-2); }

@media (max-width: 900px) {
  .hero-grid, .grid-3, .grid-2, .doclayout { grid-template-columns: 1fr; }
  .strip, .summaries { grid-template-columns: repeat(2, 1fr); }
  .shell-body { grid-template-columns: 1fr; }
  .tabs { flex-direction: row; overflow-x: auto; border-right: 0; border-bottom: 1px solid var(--rule); }
  .tabs .note { display: none; }
  .form { grid-template-columns: 1fr; }
  .toc { display: none; }
  .hero { padding: 42px 0 26px; }
}
@media (max-width: 560px) {
  .strip, .summaries { grid-template-columns: 1fr; }
  .objects .row { grid-template-columns: 1fr; gap: 2px; }
}
@media print {
  .topbar, .toc, .footer, .busy, .toast { display: none; }
  body { background: #fff; color: #000; }
}