/* After the 722 (research/machine-mathematics): page styles. Tokens only; shared components live in assets/f0.css. */

/* ---------- hero ---------- */
.mm-hero .wrap { align-items: start; }
.mm-hero .h1 { max-width: 12ch; }
.mm-hero .dek { max-width: 54ch; }
.mm-jump { display: flex; flex-wrap: wrap; gap: 4px 18px; margin-top: var(--s-5); font: 500 12px/1.4 var(--f-mono); letter-spacing: .1em; text-transform: uppercase; }
.mm-jump a { padding: 8px 0; }
.mm-tl-fig { margin-top: var(--s-2); }
.mm-tl-stage { position: relative; margin-top: 14px; background: var(--bg-1); border: 1px solid var(--line); min-height: 240px; }
.mm-tl-stage:focus-visible, .mm-map-stage:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; }
.mm-tl-stage svg { display: block; width: 100%; height: auto; }
.mm-readout { margin-top: 10px; min-height: 2.9em; font: 400 var(--fs-xs)/1.5 var(--f-sans); color: var(--ink-2); }
.mm-readout b { color: var(--ink); font-weight: 600; }
.mm-tl-legend { margin-top: 6px; }
.mm-noscript { padding: 24px; font: 400 var(--fs-sm)/1.55 var(--f-sans); color: var(--ink-2); }

/* chart text (SVG) */
.mm-svg text { font-family: var(--f-mono); font-size: 11px; fill: var(--ink-3); }
.mm-svg .t-ink { fill: var(--ink-2); }
.mm-svg .t-strong { fill: var(--ink); font-weight: 600; }
.mm-svg .grid { stroke: var(--grid); stroke-width: 1; }
.mm-svg .axis { stroke: var(--line-ui); stroke-width: 1; }
.mm-svg .bar { fill: var(--mark-dig); }
.mm-svg .bar.on { fill: var(--dig-hi); }
.mm-svg .daybg { fill: transparent; }
.mm-svg .daybg.on { fill: color-mix(in srgb, var(--ink) 6%, transparent); }
.mm-svg .pub { stroke: var(--hair); stroke-width: 1.4; }
.mm-svg .pub-t { fill: var(--ink-2); }
.mm-svg .mm-halo { paint-order: stroke; stroke: var(--bg-1); stroke-width: 4px; stroke-linejoin: round; }
.mm-sk-row.sel .mm-svg .mm-halo { stroke: color-mix(in srgb, var(--acc-mm) 7%, var(--bg-1)); }

/* ---------- section 00 ---------- */
.mm-stats { margin-top: var(--s-6); }
.mm-stats .v { font-variant-numeric: normal; }
@media (max-width: 560px) { .mm-stats { grid-template-columns: repeat(2, minmax(0, 1fr)); } .mm-stats .v { font-size: 25px; } .mm-stats > li { padding: 12px 12px 10px; } }
.mm-release { margin-top: var(--s-7); }
.mm-release .callout:first-child { margin-top: 0; }
.mm-q-src { font: 400 var(--fs-xs)/1.5 var(--f-sans); color: var(--ink-3); margin-top: -.4em; }

/* ---------- map ---------- */
.mm-map-fig { margin-top: var(--s-6); }
.mm-map-ctrl { gap: 10px 18px; }
.mm-find { flex: 1 1 220px; min-width: 0; }
.mm-find input { flex: 1 1 140px; min-width: 0; height: 36px; padding: 0 10px; border: 1px solid var(--line-ui); border-radius: var(--r-btn); background: var(--bg-2); color: var(--ink); font: 400 14px/1 var(--f-sans); letter-spacing: 0; text-transform: none; }
.mm-find input::placeholder { color: var(--ink-3); }
.mm-find input:focus-visible { outline: 2px solid var(--focus); outline-offset: 1px; }
.mm-count { font: 500 12.5px/1.3 var(--f-mono); color: var(--ink); font-variant-numeric: tabular-nums; }
.mm-fields { list-style: none; margin: 10px 0 0; padding: 0; display: flex; flex-wrap: wrap; gap: 6px; }
.mm-fields button { display: inline-flex; align-items: center; gap: 8px; min-height: 32px; padding: 0 10px; border: 1px solid var(--line-ui); border-radius: var(--r-btn); background: transparent; color: var(--ink-2); cursor: pointer; font: 500 11.5px/1 var(--f-mono); letter-spacing: .06em; }
.mm-fields button b { font-weight: 600; color: var(--ink); font-variant-numeric: tabular-nums; }
.mm-fields button:hover { color: var(--ink); border-color: var(--ink-3); }
.mm-fields button[aria-pressed="true"] { background: var(--ink); color: var(--bg); border-color: var(--ink); }
.mm-fields button[aria-pressed="true"] b { color: var(--bg); }
.mm-fields button:focus-visible { outline: 2px solid var(--focus); outline-offset: 2px; }
.mm-map-stage { position: relative; margin-top: 12px; background: var(--bg-1); border: 1px solid var(--line); touch-action: manipulation; }
.mm-map-stage svg { display: block; width: 100%; height: auto; }
.mm-map-stage .cell { cursor: pointer; transition: opacity var(--t-ui) linear; }
.mm-map-stage .cell.dim { opacity: .16; }
.mm-map-stage .glab { font: 600 11px/1 var(--f-mono); letter-spacing: .1em; fill: var(--ink); }
.mm-map-stage .glab-n { font: 500 11px/1 var(--f-mono); fill: var(--ink-3); }
.mm-map-stage .gplate { fill: var(--bg-1); }
.mm-map-stage .clab { font: 600 11px/1 var(--f-mono); pointer-events: none; }
/* filled (Lean scope document) and outlined cells: the accent is softened toward the stage so 372 tiles stay quiet */
.mm-map-stage { --mm-fill: color-mix(in srgb, var(--acc-mm) 65%, var(--bg-1)); --mm-on-fill: var(--ink); }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .mm-map-stage { --mm-fill: color-mix(in srgb, var(--acc-mm) 70%, var(--bg-1)); --mm-on-fill: var(--bg); } }
:root[data-theme="dark"] .mm-map-stage { --mm-fill: color-mix(in srgb, var(--acc-mm) 70%, var(--bg-1)); --mm-on-fill: var(--bg); }
.mm-map-stage .c-lean { fill: var(--mm-fill); }
.mm-map-stage .c-none { fill: var(--bg-2); stroke: var(--line-ui); stroke-width: 1px; }
.mm-map-stage .clab.on-lean { fill: var(--mm-on-fill); }
.mm-map-stage .clab.on-none { fill: var(--ink); }
.mm-map-legend .sw.mm-sw-fill { background: color-mix(in srgb, var(--acc-mm) 65%, var(--bg-1)); }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .mm-map-legend .sw.mm-sw-fill { background: color-mix(in srgb, var(--acc-mm) 70%, var(--bg-1)); } }
:root[data-theme="dark"] .mm-map-legend .sw.mm-sw-fill { background: color-mix(in srgb, var(--acc-mm) 70%, var(--bg-1)); }
.mm-info-k a { text-transform: none; letter-spacing: 0; font-size: 12.5px; }
.mm-info { margin-top: 10px; min-height: 76px; padding: 10px 14px; border: 1px solid var(--line); background: var(--bg-2); font: 400 var(--fs-xs)/1.5 var(--f-sans); color: var(--ink-2); }
.mm-info-k { font: 500 11px/1.4 var(--f-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-3); }
.mm-info-t { font: 600 15.5px/1.35 var(--f-sans); color: var(--ink); margin-top: 4px; }
.mm-info-r { margin-top: 4px; display: flex; flex-wrap: wrap; gap: 2px 16px; font: 500 12px/1.5 var(--f-mono); color: var(--ink-2); }
.mm-info-r a { padding: 2px 0; }
.mm-info .h { display: inline-block; width: 14px; height: 2px; background: var(--hair); vertical-align: middle; margin-right: 6px; }
.mm-sw-hollow { background: transparent !important; border: 1px solid var(--line-ui); }
.mm-sw-ring { background: transparent !important; border: 2px solid var(--hair); }
.mm-map-legend { margin-top: 10px; }
#map-table { max-height: 520px; }
#map-table td.ti { min-width: 18ch; }
#map-table tr.hl td:first-child { box-shadow: inset 2px 0 0 var(--hair); }

/* ---------- seven entries ---------- */
.mm-entries { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: clamp(16px, 2vw, 24px); margin-top: var(--s-6); }
.mm-entry { position: relative; display: flex; flex-direction: column; background: var(--bg-2); border: 1px solid var(--line); padding: 18px 20px 18px; min-width: 0; scroll-margin-top: 84px; }
.mm-entry::before { content: ""; position: absolute; left: -1px; right: -1px; top: -1px; height: 2px; background: var(--hair); }
.mm-entry:target { border-color: var(--line-ui); box-shadow: 0 0 0 1px var(--hair); }
.mm-e-k { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 2px 12px; font: 500 11px/1.4 var(--f-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--ink-3); }
.mm-entry h3 { font: 600 var(--fs-h3)/1.25 var(--f-sans); letter-spacing: -.015em; margin-top: 10px; }
.mm-e-meta { font: 500 12px/1.5 var(--f-mono); color: var(--ink-3); margin-top: 6px; }
.mm-e-plain { font: 400 16.5px/1.6 var(--f-serif); color: var(--ink-2); margin-top: 12px; }
/* small figure in each entry: title, drawing, caption (the caption is its text twin) */
.mm-mini { margin: 14px 0 0; padding: 10px 12px 10px; background: var(--bg-1); border: 1px solid var(--line); min-height: 160px; display: flex; flex-direction: column; }
.mm-mini-t { font: 500 11px/1.3 var(--f-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-2); }
.mm-mini-stage { margin-top: 6px; min-width: 0; }
.mm-mini-stage svg { display: block; width: 100%; height: auto; overflow: visible; }
.mm-mini-cap { margin-top: 6px; font: 400 12.5px/1.5 var(--f-sans); color: var(--ink-3); }
html:not(.js) .mm-mini-stage { display: none; }
.mm-vdw-ctrl { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 10px; }
.mm-vdw-ctrl .tbtn { min-height: 32px; }
.mm-vdw { display: flex; gap: 4px; margin-top: 10px; max-width: 360px; }
.mm-vdw button { flex: 1 1 0; min-width: 0; height: 34px; border-radius: 3px; border: 1.5px solid var(--ink-2); background: var(--bg-2); color: var(--ink); cursor: pointer; font: 600 12.5px/1 var(--f-mono); font-variant-numeric: tabular-nums; }
.mm-vdw button.c1 { background: var(--acc-mm); border-color: var(--acc-mm); color: var(--bg); }
.mm-vdw button.hit { box-shadow: 0 0 0 2px var(--bg-1), 0 0 0 4px var(--ink); }
.mm-vdw button:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; }
.mm-vdw-arc { display: block; height: 22px; }
.mm-vdw-out { font: 400 13px/1.45 var(--f-sans); color: var(--ink-2); min-height: 2.9em; }
.mm-vdw-c { margin-top: 4px; }
@media (max-width: 760px) { .mm-vdw button { height: 40px; } .mm-vdw-ctrl .tbtn { min-height: 44px; } }
.mm-ba { display: grid; gap: 4px; margin-top: 14px; padding: 12px 14px; background: var(--bg-1); border: 1px solid var(--line); border-left: 2px solid var(--acc-mm); }
.mm-ba-k { font: 500 11px/1.3 var(--f-mono); letter-spacing: .14em; text-transform: uppercase; color: var(--ink-3); }
.mm-ba-v { font: 500 16px/1.4 var(--f-mono); color: var(--ink); overflow-wrap: anywhere; }
.mm-ba-n { font: 400 13px/1.45 var(--f-sans); color: var(--ink-2); }
.mm-live { margin-top: 10px; }
.mm-live .v { font-size: 15px; }
.mm-who { list-style: none; margin: 14px 0 0; padding: 0; border-top: 1px solid var(--line); }
.mm-who li { padding: 8px 0 8px 14px; border-bottom: 1px solid var(--line); font: 400 14px/1.55 var(--f-sans); color: var(--ink-2); position: relative; }
.mm-who li::before { content: ""; position: absolute; left: 0; top: 15px; width: 6px; height: 6px; border-radius: 50%; background: var(--line-ui); }
.mm-who li b { color: var(--ink); font-weight: 600; }
.mm-entry .badges { margin-top: 14px; }
.mm-entry .badge { white-space: normal; }
.mm-e-links { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 16px; margin-top: auto; padding-top: 14px; font: 500 12px/1.4 var(--f-mono); }
.mm-e-links a { padding: 6px 0; }
.mm-e-links .tbtn { margin-left: auto; }
@media (max-width: 860px) { .mm-entries { grid-template-columns: minmax(0, 1fr); } }

/* ---------- slack ---------- */
.mm-slack-intro { margin-top: var(--s-6); }
.mm-slack-intro .callout { margin-top: 0; }
.mm-slack-fig { margin-top: var(--s-6); }
.mm-sk-ctrl { gap: 10px 14px; }
.mm-sk-range { flex: 1 1 200px; min-width: 0; }
.mm-sk-range .range { flex: 1 1 140px; }
#sk-out { min-width: 22ch; }
html:not(.js) .mm-sk-ctrl, html:not(.js) .mm-map-ctrl { display: none; }
.mm-only-factor { display: none; }
.mm-sk { margin-top: 12px; border: 1px solid var(--line); background: var(--bg-1); }
.mm-sk-axis { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); border-bottom: 1px solid var(--line); }
.mm-sk-axis .ax-l { padding: 8px 14px; font: 500 11px/1.3 var(--f-mono); letter-spacing: .1em; text-transform: uppercase; color: var(--ink-3); align-self: end; }
.mm-sk-axis svg { display: block; width: 100%; height: 40px; }
.mm-sk-rows { list-style: none; margin: 0; padding: 0; }
.mm-sk-row { display: grid; grid-template-columns: minmax(0, 5fr) minmax(0, 7fr); border-bottom: 1px solid var(--line); }
.mm-sk-row:last-child { border-bottom: 0; }
.mm-sk-left { display: flex; flex-direction: column; min-width: 0; }
.mm-sk-src { display: flex; flex-wrap: wrap; align-items: center; gap: 6px 12px; padding: 0 14px 10px 16px; font: 500 11.5px/1.4 var(--f-mono); }
.mm-sk-src .badge { white-space: normal; }
.mm-sk-src a { padding: 4px 0; overflow-wrap: anywhere; }
.mm-sk-sel { all: unset; box-sizing: border-box; display: grid; gap: 3px; padding: 10px 14px 10px 16px; cursor: pointer; position: relative; min-width: 0; }
.mm-sk-sel::before { content: ""; position: absolute; left: 0; top: 0; bottom: 0; width: 2px; background: transparent; }
.mm-sk-sel:hover .nm { text-decoration: underline; text-decoration-color: var(--acc-mm); text-underline-offset: 3px; }
.mm-sk-sel:focus-visible { outline: 2px solid var(--focus); outline-offset: -2px; }
.mm-sk-row.sel { background: color-mix(in srgb, var(--acc-mm) 7%, transparent); }
.mm-sk-row.sel .mm-sk-left { box-shadow: inset 2px 0 0 var(--acc-mm); }
.mm-sk-sel .nm { font: 600 15px/1.3 var(--f-sans); color: var(--ink); }
.mm-sk-sel .nm i { font-style: normal; font: 500 11.5px/1 var(--f-mono); color: var(--ink-3); letter-spacing: .06em; margin-left: 6px; }
.mm-sk-sel .ba { font: 500 12.5px/1.4 var(--f-mono); color: var(--ink-2); overflow-wrap: anywhere; }
.mm-sk-sel .ba b { color: var(--ink); font-weight: 600; }
.mm-sk-sel .fx { font: 400 12.5px/1.4 var(--f-sans); color: var(--ink-3); }
.mm-sk-track { position: relative; min-width: 0; }
.mm-sk-track svg { display: block; width: 100%; height: 100%; min-height: 54px; }
.mm-sk-track .hit { fill: transparent; cursor: pointer; }
.mm-sk-detail { margin-top: 12px; border: 1px solid var(--line); background: var(--bg-2); padding: 12px 14px 10px; }
.mm-sk-dh { display: flex; flex-wrap: wrap; justify-content: space-between; gap: 4px 16px; align-items: baseline; }
.mm-sk-dt { font: 600 15.5px/1.35 var(--f-sans); color: var(--ink); }
.mm-sk-dn { font: 400 13px/1.5 var(--f-sans); color: var(--ink-2); margin-top: 2px; max-width: 80ch; }
.mm-sk-dsvg { display: block; width: 100%; height: auto; margin-top: 8px; }
.mm-sk-dsvg .stp { cursor: pointer; }
.mm-sk-dsvg .stp:focus { outline: none; }
.mm-sk-dsvg .stp:focus-visible circle.ring { stroke: var(--focus); stroke-width: 2.5; }
.mm-sk-legend { margin-top: 10px; }
.mm-sk-axhost { min-width: 0; }
.mm-sk-axhost svg { display: block; width: 100%; height: 40px; }
.mm-sk-dhost { position: relative; margin-top: 8px; background: var(--bg-1); border: 1px solid var(--line); touch-action: manipulation; }
.mm-sk-dhost:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; }
.mm-sk-dhost .stp { cursor: pointer; }
.mm-sk-dbk { align-self: center; font: 500 11px/1.3 var(--f-mono); letter-spacing: .12em; text-transform: uppercase; color: var(--ink-3); margin-right: 2px; }
.mm-sk-sel .ba .ns { font: italic 400 12.5px/1.4 var(--f-sans); color: var(--ink-3); }
.mm-sk-dleg { margin-top: 8px; }
.mm-sk-detail .mm-readout { min-height: 3em; }
.mm-svg .hit { fill: transparent; }
.mm-svg .t-strong { font-size: 12px; }
@media (max-width: 760px) {
  .mm-sk-axis { grid-template-columns: minmax(0, 1fr); }
  .mm-sk-axis .ax-l { display: none; }
  .mm-sk-row { grid-template-columns: minmax(0, 1fr); }
  .mm-sk-sel { padding-bottom: 2px; }
  .mm-sk-track svg { min-height: 40px; }
  #sk-out { min-width: 0; flex-basis: 100%; }
}

/* ---------- conditional: pull out the foundation ---------- */
.mm-cond .prose blockquote { font-size: 1.05em; }
.mm-found { list-style: none; margin: 14px 0 0; padding: 0; display: grid; gap: 10px; }
.mm-found li { display: grid; grid-template-rows: auto auto; gap: 0; }
.mm-f-top { order: 1; display: grid; gap: 2px; padding: 9px 12px 8px; background: var(--bg-2); border: 1px solid var(--line-ui); border-bottom: 0; font: 400 13.5px/1.45 var(--f-sans); color: var(--ink-2); transition: transform var(--t-reveal) var(--ease-out), opacity var(--t-ui) linear, border-color var(--t-ui) linear; }
.mm-f-top b { font: 600 14.5px/1.3 var(--f-mono); color: var(--ink); margin-right: 8px; }
.mm-f-if { display: none; font-size: 13px; }
.mm-f-base { order: 2; display: flex; align-items: center; gap: 8px; padding: 5px 12px; background: var(--bg-3); border: 1px solid var(--line-ui); font: 500 11px/1.3 var(--f-mono); letter-spacing: .1em; text-transform: uppercase; color: var(--ink-2); transition: opacity var(--t-ui) linear; }
.mm-found.pulled .mm-f-base { border-style: dashed; opacity: .55; }
.mm-found.pulled .mm-f-base::before { content: "\00d7"; font: 600 14px/1 var(--f-mono); color: var(--st-contested); letter-spacing: 0; }
.mm-found.pulled .mm-f-if { display: block; }
.mm-found.pulled [data-fate="falls"] .mm-f-top { transform: translateY(2px) rotate(-.7deg); border-style: dashed; background: var(--bg-1); position: relative; z-index: 1; }
.mm-found.pulled [data-fate="part"] .mm-f-top { transform: translateY(3px); border-style: dashed; }
.mm-found.pulled [data-fate="check"] .mm-f-top { border-color: var(--st-preprint); }
.mm-found.pulled [data-fate="stands"] .mm-f-top { border-color: var(--st-verified); box-shadow: inset 2px 0 0 var(--st-verified); }
.mm-found.pulled [data-fate="falls"] .mm-f-if { color: var(--st-contested); }
.mm-found.pulled [data-fate="stands"] .mm-f-if { color: var(--st-verified); }
.mm-found.pulled [data-fate="check"] .mm-f-if, .mm-found.pulled [data-fate="part"] .mm-f-if { color: var(--st-preprint); }
.mm-pull[aria-pressed="true"] { background: var(--ink); color: var(--bg); border-color: var(--ink); }

/* ---------- sources ---------- */
.mm-notes { max-width: 92ch; }
.mm-notes li { font-size: 14px; }

@media (max-width: 640px) {
  .mm-tl-stage { min-height: 0; }
  .mm-e-links .tbtn { margin-left: 0; }
}
@media print { .mm-found .mm-f-if { display: block; } }