/* VisualProof — quiet surfaces, one gradient for what matters. */

/* the fonts an artwork is drawn in (ExportSpec decision 19; assets/webfonts/, SIL Open Font License):
   Source Sans 3 for its names, Source Serif 4 for the starfield's; their Latin and Greek, the rest of
   a name from the fonts the system has */
@font-face { font-family: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-greek-wght-normal.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: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-ext-wght-normal.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Source Sans 3"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-wght-normal.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: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-greek-wght-italic.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: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-ext-wght-italic.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Source Sans 3"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-sans-3-latin-wght-italic.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: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-greek-wght-normal.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: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-ext-wght-normal.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Source Serif 4"; font-style: normal; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-wght-normal.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: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-greek-wght-italic.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: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-ext-wght-italic.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-20C4,U+2113,U+2C60-2C7F,U+A720-A7FF; }
@font-face { font-family: "Source Serif 4"; font-style: italic; font-display: swap; font-weight: 200 900; src: url("/fonts/source-serif-4-latin-wght-italic.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; }

/* Jost, for an artwork's title and its top-level clusters' names, in spaced capitals (the owner's
   decision of 2026-10-15): its Latin */
@font-face { font-family: "Jost"; font-style: normal; font-display: swap; font-weight: 100 900; src: url("/fonts/jost-latin-ext-wght-normal.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: "Jost"; font-style: normal; font-display: swap; font-weight: 100 900; src: url("/fonts/jost-latin-wght-normal.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; }

/* `hidden` hides, whatever display a class gives the element (the tooltip's `display: flex` kept
   it on screen after it was hidden) */
[hidden] { display: none !important; }

:root {
  /* the camera's easing (web/src/canvas.ts, animate), for what moves with it */
  --art-ease: cubic-bezier(0.65, 0, 0.35, 1);
  --font: -apple-system, BlinkMacSystemFont, "SF Pro Text", "Inter", "Segoe UI", Roboto, sans-serif;
  --mono: "SF Mono", "JetBrains Mono", Menlo, Consolas, monospace;

  --canvas: #f5f5f7;
  --surface: rgba(255, 255, 255, 0.78);
  --surface-solid: #ffffff;
  --line: rgba(0, 0, 0, 0.08);
  --text: #1d1d1f;
  --text-2: #6e6e73;
  --text-3: #a1a1a6;
  --disc: rgba(0, 0, 0, 0.022);
  --disc-line: rgba(0, 0, 0, 0.07);
  --label: rgba(29, 29, 31, 0.55);
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.06), 0 8px 28px rgba(0, 0, 0, 0.09);
  --shadow-lg: 0 2px 6px rgba(0, 0, 0, 0.06), 0 22px 60px rgba(0, 0, 0, 0.14);
  --code-bg: rgba(0, 0, 0, 0.035);

  --grad: linear-gradient(100deg, #5e5ce6 0%, #bf5af2 52%, #ff375f 100%);
  --grad-tcb: linear-gradient(100deg, #5e5ce6, #bf5af2);
  --grad-dep: linear-gradient(100deg, #0a84ff, #64d2ff);
  --grad-app: linear-gradient(100deg, #ff9f0a, #ff375f);
  --accent: #7d5cf0;
  /* the mark of someone invited by a personal link (CollabSpec decision 9): the accent, apart from
     every colour of the review's status */
  --verified: #6a4be0;
  /* an edge runs from the declaration that uses (from) to the one it uses (to) */
  --edge-from: rgba(240, 110, 20, 0.85);
  --edge-to: rgba(59, 91, 219, 0.85);

  --k-def: #0a84ff;
  --k-abbrev: #40c8e0;
  --k-structure: #30b158;
  --k-class: #2fa37a;
  --k-inductive: #63c75d;
  --k-instance: #ff9f0a;
  --k-theorem: #a395e0;
  --k-opaque: #ff6b3d;
  --k-axiom: #ff375f;
  /* a syntax extension command: syntax, notation, macro_rules, elab_rules (TCBSpec decision 2) */
  --k-notation: #a2845e;
  --k-external: #aeaeb2;

  /* the Status scheme (decided 2026-10-08, CanvasSpec "Colour schemes"): one colour per point, the
     most urgent state winning; Okabe and Ito's palette, which colour-blind readers tell apart, the
     quiet states set apart by lightness and hue (not yet reviewed a light grey, trusted a pale
     green, failed a dark grey; 2026-10-09). Commented is a calm
     cobalt blue (2026-10-09), darker than building's sky blue and bluer than sorry's purple, so
     that it stays apart from both, and from failed's grey, for every kind of colour blindness */
  --status-failed: #4d4d52;
  --status-building: #56b4e9;
  --status-sorry: #cc79a7;
  --status-commented: #2a62c0;
  --status-stale: #e69f00;
  --status-approved: #009e73;
  --status-unreviewed: #c7c7cc;
  --status-trusted: #b3e2c2;

  --st-failed: #ff3b30;
  --st-sorry: #ff9f0a;
  --st-building: #0a84ff;
  --st-stale: #8e8e93;
  --st-ok: #30b158;
  /* a review target's star */
  --target-star: #f5b301;
  --target-star-edge: rgba(255, 255, 255, 0.95);
  /* a key declaration's diamond (ExportSpec decision 4): the star's family, a shade deeper */
  --key-mark: #d99a00;
  /* review status (ReviewSpec): what reviewers said about the present version; a comment in a calm
     blue, which reads as something to read rather than an alarm */
  --rv-approved: #2fb36b;
  --rv-commented: #3d74d4;
  --rv-stale: #f2a33a;
  /* trusted without review (a prefix in the review's trusted list): nothing to review there */
  --rv-trusted: #6f8db0;
  /* what an agent advises where no reviewer said anything (AgentSpec): dashed, and quieter than a
     review, a comment the heavier */
  --rv-advice-approve: rgba(47, 179, 107, 0.62);
  --rv-advice-comment: #4a72c4;
  /* the review box's Approve and Comment, solid with white text (the owner's decision of
     2026-10-12): the green and blue of what they record, a shade deeper, so that white reads on
     them (4.5:1 and more) in either theme */
  --rv-approve-btn: color-mix(in srgb, var(--rv-approved) 74%, black);
  --rv-comment-btn: color-mix(in srgb, var(--rv-commented) 88%, black);
  /* what is wrong or goes away: an error, a line removed, a count of what is new, a remove or
     revoke button */
  --bad: #e5484d;
  --banner-bad: #c4161c;
  --banner-warn: #a05a00;
  --banner-info: #0a5fc4;

  --tk-keyword: #ad3da4;
  --tk-type: #3e7fd6;
  --tk-comment: #8a8a8e;
  --tk-string: #c4392b;
  --tk-number: #6c5ce7;
  --tk-attr: #b5762c;
  --tk-op: #ad3da4;
  /* a note on the board (web/src/sticky.ts): a surface of the page's own, as the canvas's menu and
     the popovers are, marked by the accent (2026-10-09); in both themes from the theme's tokens */
  --note-bg: color-mix(in srgb, var(--surface-solid) 94%, transparent);
  --note-edge: var(--line);
  --note-text: var(--text);
  --note-mute: var(--text-2);
  --note-icon: var(--accent);
  /* a note's dot, zoomed out (the owner's decision, 2026-10-12), coloured by what it carries: a
     note's in the accent, a paper's in the amber the reference window marks places in papers with, an
     image's in a teal */
  --note-paper: #d99a0f;
  --note-image: #1a9c8a;
  /* a past graph's marks (HistorySpec decision 17), as a diff colours them: gone now in red, new
     since in green, another version now in amber, renamed since in teal; on the canvas they are
     rings and outlines, so that they never pass for a point's own colour */
  --tm-gone: #e0435a;
  --tm-new: #2f9e64;
  --tm-changed: #d27b00;
  --tm-renamed: #0f97ab;
}

/* dark: chosen, or following the system (web/src/theme.ts sets data-theme before the first paint) */
:root { color-scheme: light; }
:root[data-theme="dark"] {
  color-scheme: dark;
  --verified: #ab97ff;
  --canvas: #0b0b0d;
  --surface: rgba(28, 28, 30, 0.78);
  --surface-solid: #1c1c1e;
  --line: rgba(255, 255, 255, 0.09);
  --text: #f5f5f7;
  --text-2: #a1a1a6;
  --text-3: #6e6e73;
  --disc: rgba(255, 255, 255, 0.025);
  --disc-line: rgba(255, 255, 255, 0.08);
  --label: rgba(245, 245, 247, 0.5);
  --shadow: 0 1px 2px rgba(0, 0, 0, 0.4), 0 8px 28px rgba(0, 0, 0, 0.45);
  --shadow-lg: 0 2px 6px rgba(0, 0, 0, 0.4), 0 22px 60px rgba(0, 0, 0, 0.6);
  --code-bg: rgba(255, 255, 255, 0.05);
  --edge-from: rgba(255, 169, 77, 0.7);
  --edge-to: rgba(116, 143, 252, 0.7);
  --target-star-edge: rgba(0, 0, 0, 0.55);
  --rv-trusted: #7f9cbf;
  --rv-advice-approve: rgba(80, 200, 130, 0.55);
  --rv-advice-comment: #8aaef0;
  --k-theorem: #8b7fd0;
  --k-notation: #b89b74;
  --banner-bad: #ff7b72;
  --banner-warn: #ffc56b;
  --banner-info: #7ab8ff;
  --k-external: #636366;
  /* on the dark canvas the failed grey is lighter, so that it still shows, and the very light green
     of trusted lighter still; not yet reviewed is a dim grey, darker than failed's, so that the two
     greys never meet in lightness. Commented's blue is a step lighter too, so that it stands out of a dark cluster as
     the other states do, and still darker than building's sky blue */
  --status-failed: #77777c;
  --status-commented: #3570d0;
  --status-unreviewed: #4c4c52;
  --status-trusted: rgba(170, 222, 187, 0.82);
  --tk-keyword: #ff7ab2;
  --tk-type: #6bdfff;
  --tk-comment: #7f8c98;
  --tk-string: #ff8170;
  --tk-number: #d9c97c;
  --tk-attr: #ffa14f;
  --tk-op: #ff7ab2;
  --tm-gone: #ff6b7d;
  --tm-new: #4cc38a;
  --tm-changed: #f5a524;
  --tm-renamed: #38c9dc;
  --note-paper: #f5b83d;
  --note-image: #3cc7b1;
}

* { box-sizing: border-box; }
html, body { margin: 0; height: 100%; overflow: hidden; }
body {
  background: var(--canvas);
  color: var(--text);
  font: 13px/1.45 var(--font);
  -webkit-font-smoothing: antialiased;
}
button { font: inherit; color: inherit; cursor: pointer; }

#canvas { position: fixed; inset: 0; width: 100%; height: 100%; display: block; cursor: grab; touch-action: none; }
#labels { position: fixed; inset: 0; width: 100%; height: 100%; display: block; pointer-events: none; }
#cards { position: fixed; inset: 0; pointer-events: none; overflow: hidden; }
/* a finger held on the board opens its menu there, under the finger (web/src/canvas.ts): iOS would
   select the text it then finds under it, or offer the canvas as an image */
#canvas, #cards, #ctxmenu { -webkit-user-select: none; user-select: none; -webkit-touch-callout: none; }
#ctxmenu input, #ctxmenu textarea { -webkit-user-select: text; user-select: text; }
/* the linear form, over the board and its notes, under the panels (web/src/linear.ts) */
#linear { position: fixed; inset: 0; width: 100%; height: 100%; display: block; touch-action: none; z-index: 5; }
#linear[hidden] { display: none; }
/* the artwork mode (web/src/artframe.ts): the board is the picture, the frame over it a viewfinder,
   everything around it shaded; the board under it takes the pointer */
#art { position: fixed; inset: 0; z-index: 30; pointer-events: none; }
#art[hidden] { display: none; }
.art-frame { position: absolute; box-shadow: 0 0 0 200vmax rgba(0, 0, 0, 0.45); outline: 2px solid var(--accent); border-radius: 2px; }
/* over the board within the frame, its title and foot as the files have them (web/src/artframe.ts,
   renderInk); under it, a style's ground (renderSky), before the board's canvas in the page */
.art-ink { position: absolute; inset: 0; width: 100%; height: 100%; display: block; pointer-events: none; }
#art-sky { position: fixed; display: block; pointer-events: none; }
#art-sky[hidden] { display: none; }
/* the mode coming and going (web/src/artframe.ts, start and end; ExportSpec decision 19): as the linear
   form, over 480 ms — the frame closing in from the whole screen as its shade comes, or opening out as
   it goes; the panel sliding in or away; the board dipping to its ground while its look changes; the
   title, the foot and the strips beside the frame once it is still */
body.art-moving .art-frame { transition: left 480ms var(--art-ease), top 480ms var(--art-ease), width 480ms var(--art-ease), height 480ms var(--art-ease), box-shadow 480ms ease, outline-color 480ms ease; }
#art.art-away .art-frame { box-shadow: 0 0 0 200vmax rgba(0, 0, 0, 0); outline-color: transparent; }
.art-ink, .art-head, .art-tail { transition: opacity 200ms ease; }
body.art-moving .art-ink, body.art-moving .art-head, body.art-moving .art-tail, #art.art-away .art-head, #art.art-away .art-tail { opacity: 0; }
#art-panel { transition: opacity 480ms var(--art-ease), transform 480ms var(--art-ease); }
#art-panel.art-away { opacity: 0; transform: translateX(24px); }
body.art-moving { transition: background-color 180ms ease; }
body.art-moving #canvas, body.art-moving #labels, body.art-moving #cards, body.art-moving #stickies { transition: opacity 180ms ease; }
body.art-moving #art-sky { transition: opacity 180ms ease, left 480ms var(--art-ease), top 480ms var(--art-ease), width 480ms var(--art-ease), height 480ms var(--art-ease); }
body.art-dip #canvas, body.art-dip #labels, body.art-dip #cards, body.art-dip #stickies, body.art-dip #art-sky { opacity: 0; }
body[data-art-style]:not([data-art-bg]) { background: #06080e; }
.art-size output { margin-left: 6px; color: var(--text-2); font-variant-numeric: tabular-nums; }
.art-size input[type="range"] { width: 100%; }
/* the artwork's background on the board: none is shown as a checkerboard; its notes hidden */
body[data-art-bg="transparent"] { background: repeating-conic-gradient(rgba(128, 128, 128, 0.2) 0 25%, transparent 0 50%) 0 0 / 16px 16px, var(--canvas); }
body.art-nonotes #stickies { display: none; }
#art-panel { position: fixed; top: 76px; right: 16px; z-index: 41; width: 300px; max-height: calc(100vh - 100px); overflow: auto; padding-bottom: 0; }
/* the panel's sections, each under a small heading; its buttons kept in view at its foot */
.art-secs { display: grid; gap: 14px; margin-top: 10px; }
.art-sec { border-top: 1px solid var(--line); padding-top: 10px; }
.art-sec-h { margin: 0 0 8px; font-size: 11px; font-weight: 600; letter-spacing: 0.08em; text-transform: uppercase; color: var(--text-2); }
.art-save { position: sticky; bottom: 0; margin: 4px -18px 0; padding: 12px 18px 14px; background: var(--surface-solid); border-top: 1px solid var(--line); }
/* in the shade beside the frame: the title's strip above its top left, the source's switch below its
   bottom right (web/src/artframe.ts) */
.art-head, .art-tail { position: absolute; pointer-events: auto; border-radius: 10px; font-size: 12px; box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
.art-head { transform: translateY(-100%); display: flex; flex-wrap: wrap; align-items: flex-end; gap: 6px 10px; padding: 7px 10px; }
.art-head-field input[type="text"] { width: var(--w, 10em); max-width: 100%; }
.art-head .art-size input[type="range"], .art-tail .art-size input[type="range"] { width: 9em; padding: 0; border: 0; background: none; }
.art-head [data-art-own][hidden] { display: none; }
.art-tail { display: flex; align-items: center; gap: 14px; padding: 4px 10px; }
.art-tail .art-size { flex-direction: row; align-items: center; gap: 8px; }
.art-tail .ex-check { margin: 0; }
#art-panel[hidden] { display: none; }
.art-grid { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 8px 10px; }
.art-grid .ex-wide, .art-grid .art-note, .art-grid .ex-checks { grid-column: 1 / -1; }
.art-note { font-size: 11.5px; line-height: 1.4; }
/* names and targets by selection (ExportSpec decision 19): a filter, All and None, the lines ticked
   or not, scrolled within the panel */
.art-pick { grid-column: 1 / -1; display: flex; flex-direction: column; gap: 5px; }
.art-pick-head { display: flex; align-items: center; gap: 5px; font-size: 11.5px; }
.art-pick-head > span { flex: 1; }
.art-pick-head .rv-btn { padding: 3px 8px; font-size: 11.5px; white-space: nowrap; }
.art-filter {
  flex: 1; min-width: 0; font: 12.5px var(--font); color: var(--text); background: var(--surface-solid);
  border: 1px solid var(--line); border-radius: 7px; padding: 4px 7px;
}
.art-rows { max-height: 176px; overflow: auto; padding: 3px 0; border: 1px solid var(--line); border-radius: 7px; background: var(--surface-solid); }
.art-row { display: flex; align-items: center; gap: 6px; padding: 1px 8px; font-size: 12px; line-height: 1.5; cursor: pointer; white-space: nowrap; }
.art-row:hover { background: var(--code-bg); }
.art-row input { margin: 0; flex: none; }
.art-row span { overflow: hidden; text-overflow: ellipsis; }
.art-rows-h { padding: 4px 8px 1px; font-size: 10.5px; color: var(--text-3); }
.ex-tabs { margin: 2px 0 4px; }
/* in the artwork mode, the panels are put away: the frame has the room */
body.framing #side, body.framing #panel, body.framing #selbar, body.framing #lensbar, body.framing #tm-kept,
body.framing #viewbar, body.framing #foot, body.framing #zoom, body.framing #tabs, body.framing #legend { visibility: hidden; opacity: 0; }
/* of the bar, Share and Search alone: the rest out of reach (web/src/main.ts, drawLook) */
body.framing #bar [inert] { opacity: 0.32; }
/* both fading as the mode comes and goes */
body.art-moving :is(#side, #panel, #selbar, #lensbar, #tm-kept, #viewbar, #foot, #zoom, #tabs, #legend) { transition: opacity 240ms ease, visibility 240ms; }
body.art-moving :is(#bar .brand, #bar .library-wrap, #export-btn, #activity-btn, #bar .peers-wrap, #bar .who-wrap, #help-btn, #bar .more-wrap) { transition: opacity 240ms ease; }

.glass {
  background: var(--surface);
  backdrop-filter: saturate(180%) blur(22px);
  -webkit-backdrop-filter: saturate(180%) blur(22px);
  border: 0.5px solid var(--line);
  box-shadow: var(--shadow);
}

.logo {
  font-weight: 700;
  letter-spacing: -0.02em;
  background: var(--grad);
  -webkit-background-clip: text;
  background-clip: text;
  color: transparent;
}

/* ---------------------------------------------------------------- toolbar */

#bar {
  position: fixed; top: 12px; left: 12px; right: 12px;
  display: flex; align-items: center; gap: 14px;
  height: 48px; padding: 0 10px 0 16px; border-radius: 16px; z-index: 20;
}
.brand { display: flex; align-items: baseline; gap: 10px; min-width: 0; flex: 1; }
/* back and forward: a pill of two chevrons, in the bar and in the source window */
.nav {
  display: inline-flex; gap: 2px; align-self: center; flex: none; padding: 2px;
  background: var(--code-bg); border: 0.5px solid var(--line); border-radius: 10px;
}
.nav button {
  display: grid; place-items: center; width: 32px; height: 28px; padding: 0; border: 0;
  border-radius: 8px; background: transparent; color: var(--text); cursor: pointer;
  transition: background 0.15s, color 0.15s, box-shadow 0.15s;
}
.nav svg { fill: none; stroke: currentColor; stroke-width: 2.2; stroke-linecap: round; stroke-linejoin: round; }
.nav button:hover:not(:disabled) { background: var(--surface-solid); color: var(--accent); box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
.nav button:active:not(:disabled) { transform: translateY(0.5px); }
.nav button:disabled { color: var(--text-3); opacity: 0.45; cursor: default; }
/* the review strip, one line of progress wherever the review has a focus, stays in the middle of
   the canvas, between the side panel and the panel (--inset-left, --inset-right: main.ts), so that
   it never covers either */
#lensbar {
  position: fixed; top: 110px; left: calc((100vw + var(--inset-left, 0px) - var(--inset-right, 0px)) / 2); transform: translateX(-50%); z-index: 15;
  display: flex; align-items: center; gap: 8px; padding: 6px 12px; border-radius: 12px;
  font-size: 12.5px; max-width: calc(100vw - var(--inset-left, 0px) - var(--inset-right, 0px) - 16px);
  transition: left 0.32s cubic-bezier(0.2, 0.9, 0.25, 1);
}
@media (max-width: 900px) {
  #lens-meta { display: none; }
  #lensbar { left: 50%; max-width: calc(100vw - 32px); }
}
#lens-title { font: 600 12.5px var(--mono); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
/* short of room, the counts give way before the name of what the review strip is on */
#lens-meta { color: var(--text-2); white-space: nowrap; flex: 1 1 0; min-width: 0; overflow: hidden; text-overflow: ellipsis; }
/* what agents comment on, in the strip's line: where people start (AgentSpec decision 6), advice
   beside the counts; and the reader's own part done */
.lens-adv { color: var(--rv-advice-comment); font-weight: 600; }
.lens-adv .bot { margin-right: 3px; }
.lens-done { color: var(--rv-approved); font-weight: 600; }
.tk-ref { cursor: pointer; border-radius: 3px; }

/* ---------------------------------------------------------------- review (ReviewSpec) */

.rv { display: flex; flex-direction: column; gap: 6px; margin-bottom: 14px; }
.rv-op { font-size: 12.5px; line-height: 1.45; }
.rv-op.old { opacity: 0.6; }
.rv-dot { display: inline-block; width: 8px; height: 8px; border-radius: 50%; margin-right: 6px; background: var(--text-3); vertical-align: 1px; }
.rv-op.rv-approve .rv-dot { background: var(--rv-approved); }
.rv-op.rv-comment .rv-dot { background: var(--rv-commented); }
.rv-op.old .rv-dot { background: var(--rv-stale); }
.rv-c { margin: 2px 0 0 14px; padding: 4px 8px; background: var(--code-bg); border-radius: 6px; white-space: pre-wrap; font-size: 12px; }
.rv-hist summary { cursor: pointer; color: var(--text-2); font-size: 12px; }
.rv-hist .rv-op { margin-left: 8px; }
/* comments read as light Markdown (ReviewSpec, "Comments"; web/src/markdown.ts): paragraphs keep the
   writer's line breaks, quotes are ruled at the left — a quoted opinion's in the accent, its
   attribution going back to it — and code is set as in the source window, a code quote under its
   file and lines, which open the source there */
.md { white-space: normal; overflow-wrap: anywhere; }
.md > * + *, .md-q > * + *, .md-cq > * + * { margin-top: 5px; }
.md p { margin: 0; white-space: pre-wrap; }
.md code { font: 11.5px var(--mono); background: var(--code-bg); padding: 0 3px; border-radius: 4px; }
.md pre.md-code { margin: 0; padding: 6px 8px; border-radius: 6px; font: 11.5px/1.5 var(--mono); }
.rv-c .md-code, .rv-adv-c .md-code { background: var(--surface-solid); box-shadow: inset 0 0 0 1px var(--line); }
.md-q { margin: 0; padding: 1px 0 1px 9px; border-left: 2px solid var(--line); color: var(--text-2); }
.md-q.quoted { border-left-color: color-mix(in srgb, var(--accent) 55%, transparent); }
.md-ref, .md-op, .md-src {
  border: 0; background: none; padding: 0; margin: 0; font: inherit; color: var(--accent); cursor: pointer; text-align: left;
}
.md-ref:hover, .md-op:hover, .md-src:hover { text-decoration: underline; }
.md-ref code { color: inherit; }
.md-by { display: block; font-size: 11.5px; }
.md-by b { font-weight: 600; }
.md-cq-h { display: block; font: 11px var(--mono); }
/* Quote: on each opinion with a comment, quiet until wanted */
.rv-quote {
  margin-left: 4px; padding: 0 6px; border: 0; border-radius: 5px; background: none; color: var(--text-3);
  font: 600 11px var(--font); line-height: 17px; cursor: pointer; vertical-align: 1px;
}
.rv-quote:hover, .rv-quote:focus-visible { color: var(--accent); background: var(--code-bg); }
/* a quoted opinion gone to, and quoted lines opened: flashed in the accent, then as they were */
@keyframes vp-flash { from { background-color: color-mix(in srgb, var(--accent) 24%, transparent); } to { background-color: transparent; } }
.rv-flash, .sw-win .ln.ln-flash { animation: vp-flash 2.4s ease-out; border-radius: 6px; }
@media (prefers-reduced-motion: reduce) { .rv-flash, .sw-win .ln.ln-flash { animation-duration: 4s; animation-timing-function: steps(1, end); } }
/* what changed since a stale opinion: under it, unfaded, removed lines red and added lines green
   in both themes (a tint of the review colours over the surface, the marks mixed with the text) */
.rv-changes { margin: -2px 0 2px 14px; font-size: 12px; }
.rv-changes summary { cursor: pointer; color: var(--text-2); }
.rv-changes summary:hover { color: var(--text); }
.rv-n b { font-weight: 600; font-variant-numeric: tabular-nums; margin-left: 6px; }
.rv-n .add, .rv-delta .add::before { color: color-mix(in srgb, var(--rv-approved) 70%, var(--text)); }
.rv-n .del, .rv-delta .del::before { color: color-mix(in srgb, var(--bad) 75%, var(--text)); }
.rv-cmp { margin: 4px 0; line-height: 1.4; }
.rv-cmp.warn { color: var(--banner-warn); }
.rv-cmp code { font: 11px var(--mono); }
.rv-delta {
  margin-top: 4px; padding: 4px 0; border-radius: 8px; background: var(--code-bg);
  font: 11.5px/1.5 var(--mono); max-height: 50vh; overflow: auto;
}
.rv-delta .dl { display: grid; grid-template-columns: 16px 1fr; min-height: 1.5em; padding-right: 8px; }
.rv-delta .dl > span { white-space: pre-wrap; word-break: break-word; }
.rv-delta .dl::before { text-align: center; user-select: none; }
.rv-delta .del { background: color-mix(in srgb, var(--bad) 14%, transparent); }
.rv-delta .del::before { content: "−"; }
.rv-delta .add { background: color-mix(in srgb, var(--rv-approved) 16%, transparent); }
.rv-delta .add::before { content: "+"; }
.rv-delta .same::before { content: ""; }
.rv-delta .skip { display: block; padding-left: 16px; color: var(--text-2); font: italic 11px var(--font); }
.sw-review .rv-delta { max-height: none; }
.rv-who { display: flex; gap: 6px; }
.rv-who input, .rv-text {
  flex: 1; font: 12.5px var(--font); color: var(--text); background: var(--surface-solid);
  border: 1px solid var(--line); border-radius: 7px; padding: 5px 8px; resize: vertical;
}
/* a comment box: its lines wrap, so it never scrolls sideways; it grows as one writes
   (web/src/reviewbox.ts, fitBox), from three lines, five in a source window (2026-10-10) */
.rv-text {
  /* its own height, which a column's flex would take from it */
  flex: none; box-sizing: border-box; width: 100%; line-height: 1.45; white-space: pre-wrap; overflow-wrap: anywhere;
  overflow-x: hidden; overflow-y: auto; min-height: calc(3 * 1.45em + 12px); max-height: calc(18 * 1.45em + 12px);
}
.sw-review .rv-text { min-height: calc(5 * 1.45em + 12px); }
.rv-actions { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; }
/* whom the opinion is for (ReviewSpec decision 8): a name beside the buttons; while it is another
   person's, a coloured line over the box says so */
.rv-for { display: inline-flex; align-items: center; gap: 5px; margin-left: auto; font-size: 11.5px; color: var(--text-2); white-space: nowrap; }
.rv-for-in { width: 9em; font: 12px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line); border-radius: 6px; padding: 3px 6px; }
.rv-for-on { margin: 0 0 6px; padding: 5px 9px; border-radius: 7px; font-size: 12px; color: var(--accent); background: color-mix(in srgb, var(--accent) 12%, transparent); border: 1px solid color-mix(in srgb, var(--accent) 35%, transparent); }
.rv-for-on[hidden] { display: none; }
.rv-btn {
  border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 12px var(--font);
  padding: 4px 10px; border-radius: 7px; cursor: pointer;
}
.rv-btn:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
/* a button that cannot be used here says why under the pointer, and looks it */
.rv-btn:disabled { color: var(--text-3); cursor: default; }
/* Approve and Comment, wherever the review box stands (the panel, a source window, an axiom's row):
   solid, white on their colour, which a hover lightens and a press deepens; the focus is a ring of
   their colour outside them, and a button that cannot be used is faded, never grey on colour */
.rv-btn.approve, .rv-btn.comment { color: white; font-weight: 500; border-color: transparent; }
.rv-btn.approve { background: var(--rv-approve-btn); }
.rv-btn.comment { background: var(--rv-comment-btn); }
.rv-btn.approve:hover:not(:disabled), .rv-btn.comment:hover:not(:disabled) { color: white; border-color: transparent; filter: brightness(1.12); }
.rv-btn.approve:active:not(:disabled), .rv-btn.comment:active:not(:disabled) { filter: brightness(0.92); }
.rv-btn.approve:focus-visible { outline: 2px solid var(--rv-approve-btn); outline-offset: 2px; }
.rv-btn.comment:focus-visible { outline: 2px solid var(--rv-comment-btn); outline-offset: 2px; }
/* on a dark surface the deeper shade is too dark a ring: the status colour itself shows */
:root[data-theme="dark"] .rv-btn.approve:focus-visible { outline-color: var(--rv-approved); }
:root[data-theme="dark"] .rv-btn.comment:focus-visible { outline-color: var(--rv-commented); }
.rv-btn.approve:disabled, .rv-btn.comment:disabled { color: white; opacity: 0.45; }
.rv-btn.bad { color: var(--bad); border-color: color-mix(in srgb, var(--bad) 45%, transparent); }
.rv-tgt { align-self: flex-start; }
.rv-tag { font-size: 12px; color: var(--accent); }
.rv-as { font-size: 11.5px; margin-left: auto; }
.rv-err { color: var(--bad); font-size: 12px; }
.rv-target { display: flex; flex-direction: column; gap: 6px; padding: 8px 10px; background: var(--code-bg); border-radius: 10px; }
.rv-prog { font-size: 12.5px; }
.rv-prog .commented { color: var(--rv-commented); }
.rv-bar { display: flex; height: 5px; border-radius: 3px; overflow: hidden; background: var(--line); min-width: 40px; }
.rv-bar i { display: block; height: 100%; }
.rv-bar i.ok { background: var(--rv-approved); }
.rv-bar i.commented { background: var(--rv-commented); }
.rv-bar i.stale { background: var(--rv-stale); }
.rv-diff-h { margin-top: 4px; font-weight: 600; }
/* a definition's review status in the TCB list */
.row.rv-approved::before, .row.rv-commented::before, .row.rv-stale::before {
  content: ""; display: inline-block; width: 6px; height: 6px; border-radius: 50%; margin-right: 6px; vertical-align: 1px;
}
.row.rv-approved::before { background: var(--rv-approved); }
.row.rv-commented::before { background: var(--rv-commented); }
.row.rv-stale::before { background: var(--rv-stale); }
/* trusted without review: a hollow mark, nothing to do */
.row.rv-trusted::before {
  content: ""; display: inline-block; width: 6px; height: 6px; border-radius: 50%; margin-right: 6px; vertical-align: 1px;
  box-shadow: inset 0 0 0 1.5px var(--rv-trusted);
}
.row.rv-trusted { color: var(--text-2); }
.rv-trusted-by code { font: 11px var(--mono); }

.star { color: var(--target-star); margin-right: 4px; }

/* what is trusted without review (web/src/trust.ts): the list, the outline's shields, the question */
/* what is trusted without review: the review's, the same on every board, in a popover from the side
   panel's Trusted button */
#trust-list { display: flex; flex-direction: column; gap: 8px; }
.tl-h { display: flex; flex-direction: column; gap: 1px; font-size: 11px; }
.tl-t { font: 600 12.5px var(--font); color: var(--text); }
.tl-chips { display: flex; flex-wrap: wrap; gap: 4px; }
.tl-chip {
  display: inline-flex; align-items: center; max-width: 100%; height: 22px; border-radius: 6px;
  border: 1px solid var(--line); background: var(--surface-solid);
}
.tl-chip.own { border-color: color-mix(in srgb, var(--rv-trusted) 55%, transparent); }
.tl-chip.off { border-style: dashed; background: transparent; }
/* the outside world as a whole: words, not a prefix */
.tl-chip.world .tl-name { font-family: var(--font); }
.tl-name {
  border: 0; background: transparent; padding: 0 7px; font: 11.5px var(--mono); color: var(--text);
  overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0;
}
.tl-chip.off .tl-name { color: var(--text-3); text-decoration: line-through; }
.tl-x { border: 0; background: transparent; width: 18px; padding: 0 4px 0 0; flex: none; color: var(--text-3); font-size: 10px; }
.tl-x:hover { color: var(--bad); }
.tl-chip.off .tl-x { font-size: 13px; }
.tl-chip.off .tl-x:hover { color: var(--accent); }
/* the defaults are rarely taken off: their ✕ waits for the pointer */
.tl-chip:not(.own):not(.off):not(:hover):not(:focus-within) .tl-x { visibility: hidden; }
.tl-hint { font-size: 11px; line-height: 1.4; }
.tl-all {
  align-self: flex-start; height: 24px; padding: 0 9px; border-radius: 7px; border: 1px dashed var(--line);
  background: transparent; color: var(--text-2); font: 500 11.5px var(--font); cursor: pointer;
}
.tl-all:hover { border-color: var(--rv-trusted); color: var(--text); }
.tl-shield svg, .o-trust svg { width: 12px; height: 12px; fill: none; stroke: currentColor; stroke-width: 1.4; stroke-linejoin: round; vertical-align: -2px; }
.o-trust {
  display: grid; place-items: center; flex: none; width: 18px; height: 18px; padding: 0; border: 0; border-radius: 5px;
  background: transparent; color: var(--text-3);
}
button.o-trust:hover { color: var(--accent); background: var(--code-bg); }
.o-trust.on { color: var(--rv-trusted); }
.o-trust.on svg { fill: color-mix(in srgb, var(--rv-trusted) 35%, transparent); }
.o-trust.under { opacity: 0.55; }
/* the action shows on the row under the pointer, or with the keyboard on it; a mark stays */
.o-row:not(:hover) button.o-trust:not(.on):not(:focus-visible) { visibility: hidden; }
/* hiding a level (ViewSpec decision 24): on the row under the pointer, as trusting is */
.o-hide {
  display: grid; place-items: center; flex: none; width: 18px; height: 18px; padding: 0; border: 0; border-radius: 5px;
  background: transparent; color: var(--text-3);
}
.o-hide svg { width: 12px; height: 12px; fill: none; stroke: currentColor; stroke-width: 1.4; stroke-linecap: round; stroke-linejoin: round; }
.o-hide:hover { color: var(--accent); background: var(--code-bg); }
.o-row:not(:hover) .o-hide:not(:focus-visible) { visibility: hidden; }
/* a popover lies above the floating windows (#windows) */
#trust-pop {
  position: fixed; z-index: 36; width: min(340px, calc(100vw - 24px)); border-radius: 14px; padding: 14px 16px 12px;
  display: flex; flex-direction: column; gap: 8px; box-shadow: var(--shadow-lg);
}
.tp-title { font-weight: 600; font-size: 13.5px; word-break: break-word; }
.tp-title code, .tp-text code { font: 12px var(--mono); }
.tp-text { color: var(--text-2); font-size: 12.5px; line-height: 1.45; }
.tp-effect { display: flex; flex-direction: column; gap: 2px; padding: 6px 8px; border-radius: 8px; background: var(--code-bg); font-size: 12px; }
.tp-effect b { font-weight: 600; font-variant-numeric: tabular-nums; }
.tp-note { font-size: 11.5px; line-height: 1.4; }
.card.target .card-name::before { content: "★ "; color: var(--target-star); }
.rv-tgt.on { color: var(--target-star); border-color: color-mix(in srgb, var(--target-star) 55%, transparent); }
/* key declarations (ExportSpec decision 4): a diamond in the star's family, wherever they are listed */
.key-mark { color: var(--key-mark); margin-right: 3px; font-size: 0.9em; }
.card.key .card-name::before { content: "◆ "; color: var(--key-mark); }
.rv-key { align-self: flex-start; }
.rv-key.on { color: var(--key-mark); border-color: color-mix(in srgb, var(--key-mark) 55%, transparent); }
.rv-key-tag { color: var(--key-mark); }
.rv-keyprog .key-mark { margin-right: 1px; }
.lens-key { white-space: nowrap; }
.q-row.q-key { font-weight: 500; }
.q-row .key-mark { margin-right: 2px; }
.sb-btn.sb-key:not(:disabled) { color: var(--key-mark); }

/* the review wherever it has a focus (web/src/reviewqueue.ts): the strip, why a declaration is in
   the TCB, and the TCB in review order */
/* short of room, "Reviewing" gives way before the target's name */
#lensbar.reviewing #lens-title { display: flex; align-items: baseline; min-width: 0; }
.lens-rv { font: 12.5px var(--font); color: var(--text-2); margin-right: 2px; min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.lens-target { flex: none; border: 0; background: transparent; padding: 1px 4px; border-radius: 6px; font: inherit; color: var(--text); cursor: pointer; }
.lens-target:hover { background: var(--code-bg); color: var(--accent); }
.lens-target .star, .why .star, .q-row .star { margin-right: 2px; }
.why { margin: 0 0 12px; padding: 8px 10px; background: var(--code-bg); border-radius: 10px; font-size: 12px; }
.why-h { color: var(--text-2); margin-bottom: 4px; }
.why-chain { display: flex; flex-wrap: wrap; align-items: baseline; gap: 2px; font: 11.5px/1.6 var(--mono); }
.why-step { border: 0; background: transparent; padding: 0 3px; border-radius: 5px; font: inherit; color: var(--accent); cursor: pointer; }
.why-step:hover { background: var(--surface-solid); }
.why-h .why-step { font: 600 12px var(--mono); color: var(--text); }
.why-step.here { color: var(--text); font-weight: 600; }
.why-arrow { color: var(--text-3); cursor: help; }
.sec-tcb { display: flex; align-items: center; flex-wrap: wrap; gap: 4px; }
.sec-tcb .seg { margin-left: auto; }
.seg.mini { padding: 2px; border-radius: 8px; }
.seg.mini button { padding: 2px 8px; border-radius: 6px; font-size: 11.5px; }
.q-note { font-size: 11.5px; margin: -2px 0 6px; }
.q-row .q-n { display: inline-block; min-width: 2.2em; margin-right: 6px; text-align: right; color: var(--text-3); font-variant-numeric: tabular-nums; }
/* every row of the queue has its dot, so that the numbers line up: an open one for none yet */
.q-row.rv-none::before {
  content: ""; display: inline-block; width: 6px; height: 6px; border-radius: 50%; margin-right: 6px; vertical-align: 1px;
  box-shadow: inset 0 0 0 1px var(--text-3);
}
.q-row.q-mine { opacity: 0.5; }

/* the floating windows (web/src/floatwin.ts): one layer over the page, under the hover cards, the
   popovers and the modal windows; in it, the window pressed or focused last in front */
#windows { position: fixed; inset: 0; z-index: 35; pointer-events: none; }
#windows > * { pointer-events: auto; }
/* a popover lies above the windows: it was opened last, and goes on a press anywhere else. Those
   inside a bar raise the bar with them while they are open */
#bar:has(#share-pop:not([hidden]), #results:not([hidden]), #who-menu:not([hidden])), #viewbar:has(#views-menu:not([hidden]), #focus-menu:not([hidden])), #zoom:has(#eyes-pop:not([hidden])) { z-index: 36; }
/* a source window (web/src/sourcewin.ts): floating, not modal; as large as its code needs until the
   reader moves or resizes it (floatwin.ts sets its place, and its bounds while it is fitted to its
   code), scrolling down beyond that */
.sw-win {
  position: fixed; display: flex; flex-direction: column; border-radius: 14px; background: var(--surface-solid);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
.sw-win:focus { outline: none; }
/* it appears at the size its code gives it (sourcewin.ts, awaitCode): a new window waits unseen while
   its code is read, and the reference window paired beside it waits with it (paperwin.ts, dock) */
.sw-win.opening, .pw-win.waiting { visibility: hidden; }
/* a reading longer than a moment, said over the frame before, which keeps its size: placed out of
   the flow, it takes no room of the window's */
.sw-win.slow::after {
  content: "Reading the source…"; position: absolute; top: 44px; right: 16px; z-index: 3; padding: 2px 10px;
  border-radius: 999px; background: var(--surface-solid); box-shadow: 0 0 0 1px var(--line); color: var(--text-2);
  font: 12px var(--font); pointer-events: none;
}
.sw-win.moving, .sw-win.sizing { user-select: none; -webkit-user-select: none; }
/* clipped, never scrolled: a control revealed by the browser must not shift the window's content */
.sw-box { display: flex; flex-direction: column; flex: 1 1 auto; min-height: 0; border-radius: inherit; overflow: hidden; overflow: clip; }
/* its title bar: dragged to move it, double-clicked to collapse it */
.sw-head {
  display: flex; align-items: baseline; gap: 10px; padding: 8px 8px 7px 12px; border-bottom: 1px solid var(--line);
  cursor: grab; user-select: none; -webkit-user-select: none; touch-action: none;
}
.sw-win.moving .sw-head { cursor: grabbing; }
.sw-head .nav { margin-right: 2px; }
/* under the title bar, why the pairing opened no reference beside it (AttachmentSpec decision 8) */
.sw-pair { padding: 5px 12px; border-bottom: 1px solid var(--line); font-size: 12px; color: var(--text-2); overflow-wrap: anywhere; }
/* a narrow window shortens the namespace and the place, then the name, never its buttons */
.sw-name { font: 600 15px var(--font); flex: 0 1 auto; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.sw-ns { color: var(--text-2); font-size: 12px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; max-width: 40vw; min-width: 0; flex-shrink: 1000; }
.sw-loc { color: var(--text-3); font: 11.5px var(--mono); margin-left: auto; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; min-width: 0; flex-shrink: 1000; }
.sw-acts { display: inline-flex; align-items: center; gap: 2px; align-self: center; flex: none; }
.sw-acts .icon, .sw-pill .icon {
  display: inline-grid; place-items: center; padding: 0; border: 0; background: transparent; color: var(--text-2);
  width: 26px; height: 26px; border-radius: 7px; cursor: pointer; font-size: 14px;
}
.sw-acts .icon:hover, .sw-pill .icon:hover { background: var(--code-bg); color: var(--text); }
.sw-acts svg, .sw-pill svg { fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
/* pinned: the pin filled in the accent, and a line of it over the title bar, so that a pinned window
   reads apart from the one that follows the selection */
.sw-pinned { display: inline-grid; place-items: center; flex: none; width: 26px; height: 26px; color: var(--accent); }
.sw-pinned svg { fill: color-mix(in srgb, var(--accent) 35%, transparent); }
.sw-win.pinned .sw-head { box-shadow: inset 0 2px 0 var(--accent); }
.sw-win:not(.collapsed) > .fl-rz { display: block; position: absolute; z-index: 2; touch-action: none; }
.sw-box > .banner { margin: 8px 16px 0; }
/* collapsed: a pill with its declaration's name; a click opens it again */
.sw-pill { display: none; }
.sw-win.collapsed { border-radius: 999px; }
.sw-win.collapsed > .sw-box { display: none; }
.sw-win.collapsed > .sw-pill { display: flex; align-items: center; gap: 2px; min-width: 0; padding-right: 4px; }
.sw-pill-open {
  flex: 1 1 auto; min-width: 0; display: flex; align-items: center; gap: 7px; padding: 6px 6px 6px 12px; border: 0;
  border-radius: 999px; background: transparent; color: var(--text); font: 600 12.5px var(--font); text-align: left; cursor: pointer;
}
.sw-pill-name { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.sw-pill .sw-pinned { width: 16px; height: 16px; }
/* the source and its review scroll together, under one scrollbar, and nothing scrolls sideways:
   long lines wrap to the window's width (decided 2026-10-09), a name too long for a line broken
   anywhere */
.sw-scroll { overflow-y: auto; overflow-x: hidden; flex: 1 1 auto; min-height: 60px; }
.sw-body { padding: 12px 16px; position: relative; }
/* text selected in the code: a small button at the right edge, under the selection's last line,
   quotes those lines into the comment below (hover cards stand aside meanwhile) */
.sw-quote {
  position: absolute; right: 12px; z-index: 1; padding: 2px 10px; border-radius: 999px; border: 1px solid var(--line);
  background: var(--surface-solid); color: var(--accent); font: 600 11.5px var(--font); line-height: 18px;
  box-shadow: var(--shadow); cursor: pointer; white-space: nowrap; user-select: none; -webkit-user-select: none;
}
.sw-quote:hover { border-color: var(--accent); }
.sw-body pre.src {
  margin: 0; white-space: pre-wrap; overflow-wrap: anywhere; font: 12.5px/1.55 var(--mono); background: transparent; padding: 0;
  max-height: none; overflow: visible;
}
/* a line of code (web/src/highlight.ts, highlightLines): wrapped, its continuations hang under its
   own indentation (--in, in characters) and four characters more, so that they read as the
   same line going on; its first line starts where it would anyway */
.sw-win .ln { display: block; padding-left: calc((var(--in, 0) + 4) * 1ch); text-indent: calc((var(--in, 0) + 4) * -1ch); }
.sw-none { color: var(--text-2); font-size: 13px; padding: 8px 0; }
.sw-review { border-top: 1px solid var(--line); padding: 10px 16px 12px; }
.sw-review .sec { margin-top: 0; }

/* what Lean says is under the pointer, in the source window (as VS Code shows it) */
/* hover cards (web/src/hovercards.ts): the pointer can move onto them; a name in one opens the next */
.hcard {
  position: fixed; left: 0; top: 0; z-index: 37; max-width: min(640px, calc(100vw - 16px)); max-height: 50vh;
  overflow: auto; overscroll-behavior: contain; padding: 6px 10px; border-radius: 9px; background: var(--surface-solid);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg); font-size: 12.5px; line-height: 1.45;
}
.hcard pre.code { margin: 2px 0; padding: 0; background: transparent; white-space: pre-wrap; font: 12px/1.5 var(--mono); }
.hcard hr { border: 0; border-top: 1px solid var(--line); margin: 6px 0; }
.hcard p { margin: 4px 0; }
.hcard code { font: 11.5px var(--mono); background: var(--code-bg); padding: 0 3px; border-radius: 4px; }
.hcard .tk-ref { text-decoration: underline dotted color-mix(in srgb, currentColor 45%, transparent); text-underline-offset: 2px; }
.hcard .tk-ref:hover { text-decoration: underline; }
.hc-where { display: flex; align-items: center; gap: 6px; color: var(--text-2); font-size: 11.5px; margin-bottom: 2px; }
.hc-where .dot { width: 7px; height: 7px; border-radius: 50%; flex: none; }
.sw-tip-wait { color: var(--text-2); font-style: italic; }
.sw-tip-err { color: var(--bad); font-size: 12px; margin-top: 4px; }

/* the reference window (AttachmentSpec decision 11; web/src/paperwin.ts, paperview.ts): a window of
   the page like the source window, beside it while paired; a PDF's pages drawn by pdf.js on a quiet
   ground, each a sheet, the links lit on them and their subjects in the margin */
.pw-win {
  position: fixed; display: flex; flex-direction: column; border-radius: 14px; background: var(--surface-solid);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg); --pw-link: #e8a317; --pw-lit: #7d5cf0;
}
:root[data-theme="dark"] .pw-win { --pw-link: #f5b83d; --pw-lit: #a995ff; }
.pw-win:focus { outline: none; }
.pw-win.moving, .pw-win.sizing { user-select: none; -webkit-user-select: none; }
.pw-win:not(.collapsed) > .fl-rz { display: block; position: absolute; z-index: 3; touch-action: none; }
.pw-box { position: relative; display: flex; flex-direction: column; flex: 1 1 auto; min-height: 0; border-radius: inherit; overflow: hidden; overflow: clip; }
.pw-head {
  display: flex; align-items: center; gap: 8px; padding: 6px 8px 6px 12px; border-bottom: 1px solid var(--line);
  cursor: grab; user-select: none; -webkit-user-select: none; touch-action: none; min-width: 0;
}
.pw-win.moving .pw-head { cursor: grabbing; }
.pw-title { font: 600 13.5px var(--font); min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pw-pageno { color: var(--text-3); font: 11.5px var(--mono); white-space: nowrap; flex: none; }
.pw-acts { display: inline-flex; align-items: center; gap: 1px; margin-left: auto; flex: none; }
.pw-acts .icon, .pw-pill .icon, .pw-find .icon {
  display: inline-grid; place-items: center; padding: 0; border: 0; background: transparent; color: var(--text-2);
  width: 26px; height: 26px; border-radius: 7px; cursor: pointer; font-size: 14px;
}
.pw-acts .icon:hover, .pw-pill .icon:hover, .pw-find .icon:hover { background: var(--code-bg); color: var(--text); }
/* the box tool armed: its button pressed until the drag it is for */
.pw-acts .icon.on, .pw-acts .icon.on:hover { background: color-mix(in srgb, var(--accent) 16%, transparent); color: var(--accent); box-shadow: inset 0 0 0 1px color-mix(in srgb, var(--accent) 45%, transparent); }
.pw-acts svg, .pw-pill svg { fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
.pw-find { display: flex; align-items: center; gap: 4px; padding: 5px 10px; border-bottom: 1px solid var(--line); }
.pw-find input { flex: 1; min-width: 0; height: 26px; border: 1px solid var(--line); border-radius: 7px; padding: 0 8px; background: var(--code-bg); color: var(--text); font: 12.5px var(--font); }
.pw-found { color: var(--text-2); font-size: 12px; white-space: nowrap; min-width: 54px; text-align: right; }
.pw-info { display: flex; flex-wrap: wrap; align-items: center; gap: 4px 10px; padding: 6px 12px; border-bottom: 1px solid var(--line); font-size: 12px; color: var(--text-2); }
.pw-info b { color: var(--text); font-weight: 600; }
.pw-info .rv-btn { padding: 2px 8px; font-size: 11.5px; }
.pw-note { color: var(--text-2); font-style: italic; }
.pw-linking { color: var(--text); }
.pw-others { display: inline-flex; flex-wrap: wrap; gap: 4px; align-items: center; }
.pw-chip { border: 1px solid var(--line); background: var(--surface-solid); border-radius: 999px; padding: 1px 8px; font-size: 11.5px; color: var(--text); max-width: 220px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pw-chip:hover, .pw-chip.on { border-color: var(--pw-lit); color: var(--pw-lit); }
.pw-host { position: relative; flex: 1 1 auto; min-height: 0; display: flex; background: color-mix(in srgb, var(--canvas) 70%, var(--surface-solid)); }
.pw-wait { margin: auto; color: var(--text-2); font-size: 13px; padding: 20px; text-align: center; }
.pw-missing { margin: auto; max-width: 440px; padding: 20px; font-size: 13px; color: var(--text-2); }
.pw-missing b { color: var(--text); }
.pw-missing code { font: 11.5px var(--mono); }
.pw-add { display: inline-block; cursor: pointer; margin-right: 8px; }
.pw-fill-why { font-size: 12px; color: var(--banner-warn); }
.pw-scroll { position: relative; flex: 1 1 auto; min-height: 0; overflow: auto; }
.pw-pdf { padding: 12px 0; }
/* a page: a white sheet whatever the theme (a paper is printed on white); its words are the text to
   select, nothing else on it is; with the box tool armed, a drag on it draws a box */
.pw-page { position: relative; margin: 0 auto 12px; background: #fff; box-shadow: 0 0 0 1px var(--line), 0 2px 8px rgba(0, 0, 0, 0.12); cursor: default; user-select: none; -webkit-user-select: none; }
/* the page's words, the server's, laid over its picture: transparent, each at its word's box, its
   letters as tall as the box and stretched across it (web/src/paperwords.ts); under the
   selection's boxes, the search's matches and the links */
.pw-words { position: absolute; inset: 0; z-index: 0; overflow: hidden; line-height: 1; user-select: text; -webkit-user-select: text; }
.pw-words > span { position: absolute; white-space: pre; color: transparent; font-family: sans-serif; transform-origin: 0 0; cursor: text; }
/* the selection is lit as a search's matches are, a box a line over the page's own letters, in the
   browser's colour (web/src/paperview.ts, drawSelection); the browser's own drawing of it, a box a
   span with seams between, is hidden, and so are the layer's letters, which a browser would draw in
   its selected text's colour */
.pw-words > span::selection { color: transparent; background: transparent; }
.pw-sel { position: absolute; inset: 0; pointer-events: none; z-index: 1; }
.pw-selbox { position: absolute; background: rgba(0, 110, 255, 0.3); background: color-mix(in srgb, Highlight 45%, transparent); mix-blend-mode: multiply; border-radius: 1px; }
/* a link's region lets presses through to the words; the cursor says it is there */
.pw-page .pw-mark { pointer-events: none; }
.pw-page.on-link, .pw-page.on-link .pw-words > span { cursor: pointer; }
.pw-win.boxing .pw-page, .pw-win.boxing .pw-page .pw-words > span, .pw-win.boxing .pw-image { cursor: crosshair; }
/* what is drawn on a page is drawn on white paper in both themes: the light palette's colours */
.pw-page, .pw-stage { --pw-link: #e8a317; --pw-lit: #7d5cf0; }
.pw-canvas { position: absolute; inset: 0; display: block; }
.pw-num { position: absolute; left: 0; top: -11px; font: 9.5px/1 var(--mono); color: var(--text-3); user-select: none; }
.pw-marks { position: absolute; inset: 0; pointer-events: none; z-index: 2; }
.pw-mark { position: absolute; pointer-events: auto; cursor: pointer; border-radius: 2px; }
.pw-mark.quote { background: color-mix(in srgb, var(--pw-link) 22%, transparent); mix-blend-mode: multiply; }
.pw-mark.region { border: 1.5px solid color-mix(in srgb, var(--pw-link) 70%, transparent); background: color-mix(in srgb, var(--pw-link) 6%, transparent); border-radius: 3px; }
.pw-mark.lit.quote { background: color-mix(in srgb, var(--pw-lit) 30%, transparent); box-shadow: 0 1.5px 0 var(--pw-lit); animation: pw-flash 1.4s ease-out 1; }
.pw-mark.lit.region { border: 2px solid var(--pw-lit); background: color-mix(in srgb, var(--pw-lit) 8%, transparent); animation: pw-flash 1.4s ease-out 1; }
/* the clip a note carries, opened from the note: lit, dashed as a note's own is, and no link */
.pw-mark.region.clip { border-style: dashed; cursor: default; }
@keyframes pw-flash { 0% { box-shadow: 0 0 0 6px color-mix(in srgb, var(--pw-lit) 45%, transparent); } 100% { box-shadow: 0 0 0 0 transparent; } }
/* a search's matches, boxes of the server's words over the page; the one shown outlined */
.pw-hits { position: absolute; inset: 0; pointer-events: none; z-index: 1; }
.pw-hit { position: absolute; background: rgba(255, 213, 0, 0.38); border-radius: 2px; mix-blend-mode: multiply; }
.pw-hit.on { background: rgba(255, 170, 0, 0.55); box-shadow: 0 0 0 1.5px #e07b00; }
.pw-drag { position: absolute; border: 1.5px dashed var(--pw-lit); background: color-mix(in srgb, var(--pw-lit) 10%, transparent); z-index: 3; pointer-events: none; border-radius: 2px; }
/* the margin: the subjects linked to places on the page, each a small tag at the right edge at the
   height of its place; a click goes there on the board */
.pw-margin { position: absolute; top: 0; bottom: 0; right: 0; width: 12%; z-index: 4; pointer-events: none; }
.pw-marker {
  position: absolute; right: 4px; transform: translateY(-2px); max-width: calc(100% - 6px); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; pointer-events: auto;
  border: 1px solid color-mix(in srgb, var(--pw-link) 60%, transparent); background: color-mix(in srgb, #fff 88%, var(--pw-link));
  color: #5a4206; font: 600 10.5px var(--font); padding: 1px 6px; border-radius: 999px; box-shadow: 0 1px 3px rgba(0, 0, 0, 0.18); cursor: pointer;
}
.pw-marker::before { content: "↩ "; opacity: 0.6; }
.pw-marker.lit { border-color: var(--pw-lit); color: #3f2aa0; background: color-mix(in srgb, #fff 86%, var(--pw-lit)); }
.pw-marker:hover { max-width: 360px; z-index: 1; }
/* an image, zoomed and moved as the canvas is; a drag moves it, and draws a box with the tool armed */
.pw-image { overflow: hidden; cursor: grab; touch-action: none; }
.pw-image.panning { cursor: grabbing; }
.pw-stage { position: absolute; left: 0; top: 0; transform-origin: 0 0; background: #fff; box-shadow: 0 0 0 1px var(--line), 0 2px 8px rgba(0, 0, 0, 0.12); }
.pw-img { display: block; width: 100%; height: 100%; user-select: none; -webkit-user-drag: none; }
/* what to do with what was picked: Link to …, under a label */
.pw-pick {
  position: absolute; z-index: 6; display: flex; flex-wrap: wrap; align-items: center; gap: 6px; padding: 6px; border-radius: 10px;
  background: var(--surface-solid); box-shadow: 0 0 0 1px var(--line), var(--shadow); max-width: calc(100% - 16px);
}
/* the label takes a line of its own where the window is too narrow for it beside the buttons */
.pw-label { flex: 1 1 200px; width: 200px; min-width: 160px; height: 26px; border: 1px solid var(--line); border-radius: 7px; padding: 0 8px; background: var(--code-bg); color: var(--text); font: 12px var(--font); }
.pw-pick .rv-btn { white-space: nowrap; }
.pw-pick-no { color: var(--text-2); font-size: 12px; padding: 0 4px; }
/* collapsed: a pill with the file's title */
.pw-pill { display: none; }
.pw-win.collapsed { border-radius: 999px; }
.pw-win.collapsed > .pw-box { display: none; }
.pw-win.collapsed > .pw-pill { display: flex; align-items: center; gap: 2px; min-width: 0; padding-right: 4px; }
.pw-pill-open { flex: 1 1 auto; min-width: 0; display: flex; align-items: center; gap: 7px; padding: 6px 6px 6px 12px; border: 0; border-radius: 999px; background: transparent; color: var(--text); font: 600 12.5px var(--font); text-align: left; cursor: pointer; }
.pw-pill-name { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }

/* the library (web/src/library.ts), under the bar's Library */
.library-wrap { position: relative; }
#library-pop {
  position: absolute; top: 38px; right: 0; width: min(480px, calc(100vw - 24px)); max-height: calc(100vh - 70px); overflow: auto;
  padding: 10px 12px 12px; border-radius: 14px; z-index: 40; display: flex; flex-direction: column; gap: 8px;
  background: color-mix(in srgb, var(--surface-solid) 96%, transparent); box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#library-pop.lb-drop { box-shadow: 0 0 0 2px var(--accent), var(--shadow-lg); }
#bar:has(#library-pop:not([hidden])) { z-index: 36; }
/* the head: its title wraps in the room left, Cancel and ✕ stay on its first line, at the right */
.lb-head { display: flex; align-items: flex-start; gap: 10px; }
.lb-head-t { flex: 1 1 auto; min-width: 0; line-height: 1.4; overflow-wrap: anywhere; }
.lb-head-t .muted { font-size: 12px; }
.lb-head > .link, .lb-head > .icon { flex: none; line-height: 1.4; white-space: nowrap; }
.lb-head .icon { border: 0; background: transparent; color: var(--text-2); cursor: pointer; padding: 0 2px; }
.lb-hint { font-size: 12px; margin-top: -4px; }
.lb-add { display: flex; align-items: center; gap: 10px; }
.lb-upload { cursor: pointer; }
.lb-dropnote { font-size: 12px; }
.lb-url { display: flex; gap: 6px; }
.lb-url input, .lb-rename input { flex: 1; min-width: 0; height: 28px; border: 1px solid var(--line); border-radius: 8px; padding: 0 9px; background: var(--code-bg); color: var(--text); font: 12.5px var(--font); }
.lb-busy { font-size: 12px; color: var(--accent); }
.lb-list { display: flex; flex-direction: column; gap: 2px; }
.lb-row { display: grid; grid-template-columns: 1fr auto; gap: 1px 8px; padding: 7px 8px; border-radius: 9px; }
.lb-row:hover { background: var(--code-bg); }
.lb-row.archived { opacity: 0.75; }
.lb-title { grid-column: 1; text-align: left; border: 0; background: none; padding: 0; font: 600 13px var(--font); color: var(--text); cursor: pointer; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.lb-title:hover { color: var(--accent); }
.lb-meta { grid-column: 1; font-size: 11.5px; color: var(--text-2); }
.lb-meta a { color: var(--text-2); }
.lb-acts { grid-column: 2; grid-row: 1 / span 2; display: flex; gap: 10px; align-items: center; }
.lb-missing { grid-column: 1; font-size: 11.5px; color: var(--banner-warn); }
.lb-rename { grid-column: 1; display: flex; gap: 6px; }
.lb-none, .lb-note { font-size: 12.5px; padding: 6px 2px; }
.lb-arch-t { align-self: flex-start; }
.lb-used { font-size: 11.5px; border-top: 1px solid var(--line); padding-top: 6px; }

/* a panel's papers (web/src/paperlinks.ts): each link a row that opens the paper there */
.pl-sec .sec { display: flex; align-items: baseline; gap: 6px; }
.pl-sec .pl-add { margin-left: auto; }
.pl-list { display: flex; flex-direction: column; gap: 1px; margin-bottom: 4px; }
.pl-row { display: flex; align-items: center; gap: 6px; padding: 3px 4px; border-radius: 7px; flex-wrap: wrap; }
.pl-row:hover { background: var(--code-bg); }
.pl-open { flex: 1 1 auto; min-width: 0; text-align: left; border: 0; background: none; padding: 0; color: var(--text); cursor: pointer; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pl-open:hover .pl-label { color: var(--accent); }
.pl-label { font-weight: 500; }
.pl-file { font-size: 11.5px; }
.pl-by { font-size: 11px; white-space: nowrap; }
.pl-acts { display: none; gap: 0; }
.pl-row:hover .pl-acts { display: inline-flex; }
.pl-acts .icon { border: 0; background: transparent; color: var(--text-2); width: 20px; height: 20px; border-radius: 5px; font-size: 12px; cursor: pointer; padding: 0; }
.pl-acts .icon:hover { background: var(--code-bg); color: var(--text); }
.pl-sure { flex-basis: 100%; font-size: 12px; color: var(--text-2); }
.pl-edit input { flex: 1; min-width: 0; height: 26px; border: 1px solid var(--line); border-radius: 7px; padding: 0 8px; background: var(--code-bg); color: var(--text); font: 12.5px var(--font); }

/* who is reviewing, and the window that asks */
.who {
  border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 12.5px var(--font);
  padding: 5px 10px; border-radius: 9px; cursor: pointer; white-space: nowrap; max-width: 180px;
  overflow: hidden; text-overflow: ellipsis;
}
.who::before { content: ""; display: inline-block; width: 7px; height: 7px; border-radius: 50%; background: var(--me, var(--rv-approved)); margin-right: 6px; vertical-align: 1px; }
.who.unset { color: var(--text-2); }
.who.unset::before { background: var(--text-3); }
.who:hover, .who.on { border-color: var(--accent); }
/* a private reader (CollabSpec decision 8): their dot hollow, and an eye struck through */
.who.private::before { background: transparent; box-shadow: inset 0 0 0 1.5px var(--me, var(--text-3)); }
.who-hidden { margin-left: 6px; vertical-align: -2px; color: var(--text-2); }
/* the menu under the name (web/src/whomenu.ts) */
.who-wrap { position: relative; display: flex; min-width: 0; }
.who-wrap:has(> #who[hidden]) { display: none; }
#who-menu {
  position: absolute; top: 38px; right: 0; width: min(320px, calc(100vw - 24px)); padding: 6px; border-radius: 14px; z-index: 40;
  display: flex; flex-direction: column; background: color-mix(in srgb, var(--surface-solid) 96%, transparent);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#who-menu[hidden] { display: none; }
.wm-item {
  display: flex; flex-direction: column; gap: 2px; width: 100%; padding: 7px 10px; border: 0; border-radius: 9px;
  background: transparent; color: var(--text); font: 13px var(--font); text-align: left; cursor: pointer;
}
.wm-item:hover, .wm-item:focus-visible { background: var(--code-bg); outline: none; }
.wm-t { font-weight: 500; }
.wm-d { font-size: 11.5px; line-height: 1.35; color: var(--text-2); }
.wm-radio { position: relative; padding-left: 32px; }
.wm-radio::before {
  content: ""; position: absolute; left: 11px; top: 9px; width: 12px; height: 12px; border-radius: 50%;
  box-shadow: inset 0 0 0 1.5px var(--text-3);
}
.wm-radio[aria-checked="true"]::before { box-shadow: inset 0 0 0 1.5px var(--accent), inset 0 0 0 4px var(--surface-solid); background: var(--accent); }
.wm-sep { height: 1px; margin: 4px 6px; background: var(--line); }
.wm-h { margin: 4px 10px 2px; font-size: 11px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; }
.wm-note { padding: 7px 10px; font-size: 12px; color: var(--text-2); }
#modal {
  position: fixed; inset: 0; z-index: 40; display: flex; align-items: center; justify-content: center;
  background: rgba(0, 0, 0, 0.22);
}
.modal-box { width: min(380px, calc(100vw - 32px)); padding: 18px 18px 14px; border-radius: 14px; display: flex; flex-direction: column; gap: 10px; }
.modal-title { font-weight: 600; font-size: 15px; }
.modal-text { color: var(--text-2); font-size: 12.5px; line-height: 1.45; }
/* Export (web/src/exportmodal.ts): which view, what its document holds, its title and author line,
   the common settings, then the job. At the right, over nothing but the panel: the board is drawn
   in the linear form beside it while it is open (ExportSpec decision 18) */
#export-modal { position: fixed; top: 106px; right: 12px; z-index: 40; pointer-events: none; }
.ex-box { width: min(480px, calc(100vw - 32px)); max-height: calc(100vh - 130px); overflow: auto; outline: none; pointer-events: auto; }
.ex-head { display: flex; align-items: center; justify-content: space-between; }
.ex-sec { display: flex; flex-direction: column; gap: 6px; }
.ex-grid { display: grid; grid-template-columns: repeat(4, minmax(0, 1fr)); gap: 8px 10px; }
.ex-field { display: flex; flex-direction: column; gap: 3px; font-size: 11.5px; color: var(--text-2); }
.ex-field.ex-wide { grid-column: span 2; }
.ex-field input, .ex-field select {
  font: 12.5px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line);
  border-radius: 7px; padding: 5px 7px; min-width: 0;
}
.ex-checks { grid-column: 1 / -1; display: flex; flex-wrap: wrap; gap: 4px 16px; font-size: 12.5px; }
.ex-check { cursor: pointer; white-space: nowrap; }
.ex-sum { font-size: 12.5px; line-height: 1.45; }
/* the title and the author line as they print, each with how it changes: the view's, not settings */
.ex-meta { gap: 8px; padding: 8px 0; border-top: 1px solid var(--line); border-bottom: 1px solid var(--line); }
.ex-row { display: grid; grid-template-columns: 58px minmax(0, 1fr); gap: 10px; align-items: baseline; }
.ex-label { font-size: 11.5px; color: var(--text-2); }
.ex-value { font-size: 13px; line-height: 1.4; overflow-wrap: anywhere; }
.ex-value.ex-title { font-weight: 600; }
.ex-hint { margin-top: 2px; font-size: 11.5px; line-height: 1.4; color: var(--text-3); }
.ex-warn { font-size: 12px; }
.ex-prog { display: flex; align-items: center; gap: 10px; font-size: 12.5px; color: var(--text-2); }
.ex-bar { position: relative; flex: 0 0 120px; height: 4px; border-radius: 2px; background: var(--line); overflow: hidden; }
.ex-bar i { position: absolute; inset: 0 auto 0 0; width: 40%; border-radius: 2px; background: var(--accent); animation: ex-slide 1.1s ease-in-out infinite; }
@keyframes ex-slide { from { left: -40%; } to { left: 100%; } }
.ex-done { font-size: 12.5px; display: flex; flex-direction: column; gap: 8px; }
.ex-dl { display: flex; flex-wrap: wrap; align-items: center; gap: 8px; }
.ex-dl a.rv-btn { text-decoration: none; }
.ex-log pre { max-height: 160px; overflow: auto; font: 11px var(--mono); white-space: pre-wrap; }
.ex-notes ul { margin: 4px 0 0; padding-left: 18px; display: flex; flex-direction: column; gap: 4px; font-size: 12px; color: var(--text-2); }
@media (max-width: 520px) { .ex-grid { grid-template-columns: repeat(2, minmax(0, 1fr)); } }
#who-input {
  font: 14px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line);
  border-radius: 8px; padding: 8px 10px;
}
#who-input:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
.modal-err { color: var(--banner-bad); font-size: 12.5px; line-height: 1.4; }
.avatar {
  display: inline-grid; place-items: center; width: 28px; height: 28px; border-radius: 50%; color: #fff;
  font: 600 11.5px var(--font); flex: none;
}

/* the others on this server (CollabSpec "What the page shows") */
.peers { display: flex; align-items: center; }
.peer {
  display: inline-grid; place-items: center; width: 28px; height: 28px; margin-left: -6px; padding: 0;
  border-radius: 50%; border: 2px solid var(--surface-solid); background: var(--c); color: #fff;
  font: 600 10.5px var(--font); cursor: pointer; transition: transform 0.12s, opacity 0.2s;
}
.peer:first-child { margin-left: 0; }
.peer:hover { transform: translateY(-1px); z-index: 1; }
.peer.idle { opacity: 0.45; }
.peer.on { box-shadow: 0 0 0 2px var(--c); }
.peer.more { background: var(--code-bg); color: var(--text-2); cursor: default; }
/* the private readers, counted (CollabSpec decision 8): no one to follow, so no badge */
.peer-private {
  display: inline-flex; align-items: center; height: 22px; margin-left: 6px; padding: 0 8px; border-radius: 11px;
  border: 1px dashed var(--text-3); color: var(--text-2); font: 600 11px var(--font); white-space: nowrap; cursor: default;
}
/* someone invited by a personal link (CollabSpec decision 9): a ✓ after the name wherever it shows,
   and on the corner of their initials among the others */
.vf { margin-left: 3px; color: var(--verified); font-weight: 700; font-size: 0.9em; cursor: help; }
.peer.verified { position: relative; }
.peer-vf {
  position: absolute; right: -5px; bottom: -5px; display: grid; place-items: center; width: 15px; height: 15px;
  border-radius: 50%; background: var(--surface-solid); color: var(--verified); box-shadow: 0 0 0 1px var(--line);
  font: 700 9.5px/1 var(--font);
}
/* an agent among the others: a rounded square with a robot on its corner (AgentSpec decision 1) */
.peer.agent { position: relative; border-radius: 8px; }
.peer-bot {
  position: absolute; right: -5px; bottom: -5px; display: grid; place-items: center; width: 15px; height: 15px;
  border-radius: 50%; background: var(--surface-solid); color: var(--c); box-shadow: 0 0 0 1px var(--line);
}
.peer-bot .bot { width: 11px; height: 11px; }
.avatar.agent { border-radius: 6px; }
.bot { display: inline-block; width: 13px; height: 13px; flex: none; vertical-align: -2px; }
#following .bot { color: var(--c); }
/* a person's menu, opened from their initials, and what a request to follow came to, under them
   (CollabSpec decision 10; web/src/peermenu.ts, web/src/askfollow.ts) */
.peers-wrap { position: relative; display: flex; align-items: center; }
#peer-menu {
  position: absolute; top: 38px; right: 0; width: min(300px, calc(100vw - 24px)); padding: 6px; border-radius: 14px; z-index: 40;
  display: flex; flex-direction: column; background: color-mix(in srgb, var(--surface-solid) 96%, transparent);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#peer-menu[hidden] { display: none; }
#bar:has(#peer-menu:not([hidden])) { z-index: 36; }
.pm-who { display: grid; grid-template-columns: auto minmax(0, 1fr); column-gap: 8px; align-items: center; padding: 6px 10px 4px; }
.pm-dot { width: 9px; height: 9px; border-radius: 50%; }
.pm-name { font-weight: 600; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pm-where { grid-column: 2; font-size: 11.5px; line-height: 1.35; color: var(--text-2); }
/* an item that cannot be chosen now says why in its line */
.wm-item[aria-disabled="true"] { cursor: default; }
.wm-item[aria-disabled="true"] .wm-t { color: var(--text-3); }
.ask-line {
  position: absolute; top: 40px; right: 0; z-index: 21; padding: 4px 10px; border-radius: 9px; white-space: nowrap;
  font-size: 12px; color: var(--text); background: color-mix(in srgb, var(--surface-solid) 96%, transparent);
}
/* each person's part in your request to follow, on the corner of their initials the next ones do not
   cover: following, declined, no answer, or still to answer */
.peer.asked { position: relative; }
.peer-ask {
  position: absolute; left: -5px; top: -5px; display: grid; place-items: center; width: 15px; height: 15px;
  border-radius: 50%; color: #fff; box-shadow: 0 0 0 1.5px var(--surface-solid); font: 700 9px/1 var(--font);
}
.peer-ask.ask-follow { background: var(--st-ok); }
.peer-ask.ask-decline { background: var(--bad); }
.peer-ask.ask-timeout { background: var(--text-3); }
.peer-ask.ask-waiting { background: var(--accent); animation: pulse 1.6s ease-in-out infinite; }
/* someone asks you to follow: at the top centre, in the asker's colour, over everything but a window
   that asks you something; its countdown a ring and a bar running down */
#ask-banner {
  position: fixed; top: 108px; left: 50%; transform: translateX(-50%); z-index: 41;
  display: flex; align-items: center; gap: 12px; max-width: calc(100vw - 24px); padding: 10px 12px 12px;
  border-radius: 14px; overflow: hidden; font-size: 13.5px; color: var(--text);
  background: color-mix(in srgb, var(--surface-solid) 97%, transparent);
  box-shadow: 0 0 0 1.5px color-mix(in srgb, var(--c) 55%, transparent), var(--shadow-lg);
  animation: ab-in 0.22s cubic-bezier(0.2, 0.9, 0.25, 1);
}
@keyframes ab-in { from { opacity: 0; transform: translate(-50%, -8px); } }
.ab-mark { display: grid; place-items: center; flex: none; width: 32px; height: 32px; border-radius: 50%; background: var(--c); color: #fff; font: 600 12px var(--font); }
.ab-mark.agent { border-radius: 9px; }
.ab-mark .bot { width: 18px; height: 18px; vertical-align: 0; }
.ab-text { display: flex; flex-direction: column; min-width: 0; }
.ab-who { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.ab-who b { font-weight: 650; }
.ab-sub { font-size: 11.5px; color: var(--text-2); }
.ab-count { position: relative; display: grid; place-items: center; flex: none; width: 26px; height: 26px; }
.ab-count svg { position: absolute; inset: 0; transform: rotate(-90deg); }
.ab-track { fill: none; stroke: var(--line); stroke-width: 2.5; }
.ab-left { fill: none; stroke: var(--c); stroke-width: 2.5; stroke-linecap: round; stroke-dashoffset: var(--ring, 0px); transition: stroke-dashoffset 0.25s linear; }
.ab-secs { font: 600 10.5px var(--font); font-variant-numeric: tabular-nums; color: var(--text-2); }
#ask-banner .rv-btn { flex: none; padding: 5px 12px; font-size: 12.5px; }
.ab-bar { position: absolute; left: 0; right: 0; bottom: 0; height: 3px; background: var(--line); }
.ab-bar i { display: block; height: 100%; background: var(--c); transform-origin: left; transform: scaleX(var(--left, 1)); transition: transform 0.25s linear; }
/* following someone: low in the middle, where the tabs and the strips above stay readable; in the
   windows' layer, above the source windows while it is the strip alone; a conversation's window
   takes its place among them (web/src/floatwin.ts) */
#following {
  position: fixed; bottom: 52px; left: 50%; transform: translateX(-50%); z-index: 36;
  display: flex; flex-direction: column; gap: 8px; padding: 5px 6px 5px 12px; border-radius: 10px;
  font-size: 12.5px; color: var(--text);
}
.fl-strip { display: flex; align-items: center; gap: 6px; white-space: nowrap; min-width: 0; }
.fl-who { min-width: 0; overflow: hidden; text-overflow: ellipsis; }
#following .dot { width: 8px; height: 8px; border-radius: 50%; background: var(--c); flex: none; }
.fl-strip button, .fl-pill > button[data-unfollow] {
  display: inline-grid; place-items: center; flex: none; padding: 0; border: 0; background: transparent;
  color: var(--text-2); cursor: pointer; width: 22px; height: 22px; border-radius: 6px;
}
.fl-strip button:hover, .fl-pill > button[data-unfollow]:hover { background: var(--code-bg); color: var(--text); }
/* the strip alone has no state, no new conversation, no pin, no collapsing, no pill, no edges:
   those are the window's */
.fl-st, .fl-strip [data-restart], .fl-strip [data-pin], .fl-strip [data-collapse], .fl-pill, .fl-rz { display: none; }
.peer.offline { filter: grayscale(1); opacity: 0.45; }
/* an agent's state (AgentSpec decision 8): a dot on its badge, and its line in the conversation */
.st-listening { --state: var(--st-ok); }
.st-thinking { --state: var(--st-sorry); }
.st-working { --state: var(--st-building); }
.st-offline { --state: var(--text-3); }
.peer-dot {
  position: absolute; top: -3px; right: -3px; width: 9px; height: 9px; border-radius: 50%;
  background: var(--state); box-shadow: 0 0 0 2px var(--surface-solid);
}
.st-dot { width: 7px; height: 7px; border-radius: 50%; background: var(--state); flex: none; }
.peer-dot.st-thinking, .tk-state.st-thinking .st-dot, .st-dot.st-thinking { animation: pulse 1.6s ease-in-out infinite; }
@media (prefers-reduced-motion: reduce) { .peer-dot.st-thinking, .tk-state.st-thinking .st-dot, .st-dot.st-thinking { animation: none; } }
/* talking with an agent while following it (web/src/talk.ts): a window (web/src/chatwin.ts, which
   sets its place and size) — the strip its title bar, dragged to move it, then the thread, filling
   it, and at its foot the state line and the box; every edge and corner resizes it */
#following.talking {
  transform: none; gap: 0; padding: 0; border-radius: 14px; box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#following.talking > .fl-strip {
  flex: none; padding: 6px 6px 6px 12px; border-bottom: 1px solid var(--line); cursor: grab;
  user-select: none; -webkit-user-select: none; touch-action: none;
}
#following.talking.moving > .fl-strip { cursor: grabbing; }
#following.talking .fl-who { flex: 1; }
#following.talking .fl-strip > .dot { display: none; }
#following.talking .fl-st, #following.talking .fl-strip [data-restart], #following.talking .fl-strip [data-pin], #following.talking .fl-strip [data-collapse] { display: inline-grid; }
/* pinned (web/src/talkpins.ts): the pin filled in the accent, as a pinned source window's */
.fl-strip [data-pin][aria-pressed="true"] { color: var(--accent); }
.fl-strip [data-pin][aria-pressed="true"] path { fill: color-mix(in srgb, var(--accent) 35%, transparent); }
/* nothing said since the conversation began: the button stays, with its tooltip, and does nothing */
.fl-strip [data-restart][aria-disabled="true"] { opacity: 0.4; cursor: default; background: transparent; color: var(--text-2); }
#following.talking > .fl-rz { display: block; position: absolute; z-index: 2; touch-action: none; }
.fl-rz-n, .fl-rz-s { left: 12px; right: 12px; height: 8px; cursor: ns-resize; }
.fl-rz-e, .fl-rz-w { top: 12px; bottom: 12px; width: 8px; cursor: ew-resize; }
.fl-rz-n { top: -4px; }
.fl-rz-s { bottom: -4px; }
.fl-rz-e { right: -4px; }
.fl-rz-w { left: -4px; }
.fl-rz-ne, .fl-rz-nw, .fl-rz-se, .fl-rz-sw { width: 16px; height: 16px; }
.fl-rz-ne { top: -5px; right: -5px; cursor: nesw-resize; }
.fl-rz-sw { bottom: -5px; left: -5px; cursor: nesw-resize; }
.fl-rz-nw { top: -5px; left: -5px; cursor: nwse-resize; }
.fl-rz-se { bottom: -5px; right: -5px; cursor: nwse-resize; }
/* a finger needs more room than a pointer */
@media (pointer: coarse) {
  .fl-rz-n, .fl-rz-s { height: 18px; }
  .fl-rz-n { top: -9px; }
  .fl-rz-s { bottom: -9px; }
  .fl-rz-e, .fl-rz-w { width: 18px; }
  .fl-rz-e { right: -9px; }
  .fl-rz-w { left: -9px; }
  .fl-rz-ne, .fl-rz-nw, .fl-rz-se, .fl-rz-sw { width: 26px; height: 26px; }
}
#following.moving, #following.sizing { user-select: none; -webkit-user-select: none; }
#following.talking > #talk { flex: 1 1 auto; min-height: 0; padding: 8px 10px 10px 12px; }
/* collapsed: a pill of one line, the agent's state and the start of its last message; a click
   opens the window again; a reply meanwhile lights it a moment, and marks it until then */
#following.talking.collapsed { border-radius: 999px; }
#following.talking.collapsed > .fl-strip, #following.talking.collapsed > #talk, #following.talking.collapsed > .fl-rz { display: none; }
#following.talking.collapsed > .fl-pill { display: flex; align-items: center; gap: 2px; min-width: 0; padding-right: 6px; }
.fl-pill-open {
  flex: 1 1 auto; min-width: 0; display: flex; align-items: center; gap: 6px; padding: 7px 6px 7px 12px; border: 0;
  border-radius: 999px; background: transparent; color: var(--text); font: 12.5px var(--font); text-align: left; cursor: pointer;
}
.fl-pill-text { display: flex; align-items: center; gap: 6px; min-width: 0; white-space: nowrap; }
.fl-pill-text .bot { color: var(--c); }
.fl-pill-state { color: var(--text-2); flex: none; }
.fl-pill-msg { min-width: 0; overflow: hidden; text-overflow: ellipsis; color: var(--text-2); }
.fl-pill-msg::before { content: "— "; color: var(--text-3); }
.fl-new { display: none; flex: none; width: 8px; height: 8px; border-radius: 50%; background: var(--accent); }
#following.unseen .fl-new { display: inline-block; }
#following.unseen .fl-pill-msg { color: var(--text); }
#following.flash { animation: fl-flash 1.6s ease-out; }
@keyframes fl-flash {
  0%, 35% { box-shadow: 0 0 0 1px var(--line), 0 0 0 5px color-mix(in srgb, var(--c) 45%, transparent), var(--shadow-lg); background: color-mix(in srgb, var(--c) 14%, var(--surface-solid)); }
  100% { box-shadow: 0 0 0 1px var(--line), 0 0 0 0 transparent, var(--shadow-lg); }
}
@media (prefers-reduced-motion: reduce) { #following.flash { animation: none; } }
#talk { display: flex; flex-direction: column; gap: 8px; }
#talk[hidden] { display: none; }
/* the thread fills the window and scrolls, its messages from its foot up, as a conversation reads;
   at its end it stays there however the window is resized (talk.ts), which the browser's own scroll
   anchoring would undo, keeping a message above in place */
.tk-thread {
  flex: 1 1 auto; min-height: 0; overflow: auto; overflow-anchor: none; display: flex; flex-direction: column; gap: 9px; padding-right: 4px;
}
.tk-thread > :first-child { margin-top: auto; }
.tk-state, .tk-form { flex: none; }
.tk-msg { font-size: 12.5px; line-height: 1.45; padding-left: 9px; border-left: 2px solid var(--line); }
.tk-msg.agent { border-left-color: var(--c); }
.tk-head { display: flex; align-items: center; gap: 4px; font-size: 11.5px; margin-bottom: 1px; }
.tk-head .bot { color: var(--c); }
.tk-text { white-space: pre-wrap; overflow-wrap: anywhere; }
.tk-text code { font: 11.5px var(--mono); background: var(--code-bg); padding: 0 3px; border-radius: 4px; }
.tk-pre { margin: 4px 0; padding: 6px 8px; background: var(--code-bg); border-radius: 6px; overflow: auto; font: 11.5px var(--mono); white-space: pre; }
.tk-pre code { background: none; padding: 0; }
.tk-decl { color: var(--accent); text-decoration: none; }
.tk-decl:hover { text-decoration: underline; }
.tk-empty { font-size: 12px; line-height: 1.45; }
.tk-state { display: flex; align-items: center; gap: 6px; font-size: 11.5px; line-height: 1.4; color: var(--text-2); min-width: 0; }
.tk-state[hidden] { display: none; }
.tk-state > span:last-child { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tk-state code { font: 11px var(--mono); background: var(--code-bg); padding: 0 3px; border-radius: 4px; }
.tk-wait { color: var(--text-3); font-style: italic; }
/* a new conversation (the owner's decision of 2026-10-11): a rule across the thread with who
   started it and when; what came before it, one line that opens it */
.tk-divider { display: flex; align-items: center; gap: 8px; font-size: 11.5px; color: var(--text-2); }
.tk-divider::before, .tk-divider::after { content: ""; flex: 1; border-top: 1px solid var(--line); }
.tk-divider > span { flex: none; max-width: 85%; text-align: center; }
.tk-fold {
  align-self: center; display: inline-flex; align-items: center; gap: 5px; padding: 2px 10px; border: 0; border-radius: 999px;
  background: var(--code-bg); color: var(--text-2); font: 11.5px var(--font); cursor: pointer;
}
.tk-fold:hover { color: var(--text); }
.tk-chev { width: 0; height: 0; border-left: 4px solid currentColor; border-top: 3.5px solid transparent; border-bottom: 3.5px solid transparent; transition: transform 0.15s; }
.tk-fold[aria-expanded="true"] .tk-chev { transform: rotate(90deg); }
@media (prefers-reduced-motion: reduce) { .tk-chev { transition: none; } }
.tk-form { display: flex; gap: 6px; align-items: flex-end; flex-wrap: wrap; }
.tk-form textarea {
  flex: 1; min-width: 0; resize: none; font: 12.5px var(--font); color: var(--text); background: var(--surface-solid);
  border: 1px solid var(--line); border-radius: 8px; padding: 6px 8px;
}
.tk-form textarea:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
.tk-form textarea:disabled, .tk-form button:disabled { opacity: 0.6; }
.tk-form button:disabled { cursor: default; filter: none; }
.tk-err { flex-basis: 100%; color: var(--banner-bad); font-size: 12px; }
body.following::after {
  content: ""; position: fixed; inset: 0; pointer-events: none; z-index: 30;
  box-shadow: inset 0 0 0 3px var(--follow);
}
/* the timeline (CollabSpec "Activity") */
.act-btn {
  display: inline-flex; align-items: center; gap: 6px; height: 30px; padding: 0 10px; border-radius: 9px;
  border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 12.5px var(--font); cursor: pointer;
}
.act-btn svg { fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.act-btn:hover, .act-btn.on { border-color: var(--accent); }
/* Activity is an icon, its count of what is new on its corner */
.act-icon { position: relative; width: 32px; padding: 0; justify-content: center; }
.act-icon .act-badge { position: absolute; top: -6px; right: -7px; box-shadow: 0 0 0 2px var(--surface-solid); }
/* sharing: a link to this view for a person, a prompt with a token for an AI agent (web/src/share.ts) */
.share-wrap { position: relative; }
#share-pop {
  position: absolute; top: 38px; right: 0; width: min(440px, calc(100vw - 24px)); max-height: calc(100vh - 70px); overflow: auto;
  padding: 10px 12px 12px; border-radius: 14px; z-index: 40;
  display: flex; flex-direction: column; gap: 10px; background: color-mix(in srgb, var(--surface-solid) 96%, transparent);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
.sh-tabs { display: flex; gap: 2px; padding: 2px; border-radius: 9px; background: var(--code-bg); }
.sh-tabs button {
  flex: 1; display: inline-flex; align-items: center; justify-content: center; gap: 5px; height: 26px; border: 0; border-radius: 7px;
  background: transparent; color: var(--text-2); font: 12.5px var(--font); cursor: pointer;
}
.sh-tabs button[aria-selected="true"] { background: var(--surface-solid); color: var(--text); box-shadow: 0 0 0 1px var(--line); font-weight: 600; }
.sh-body { display: flex; flex-direction: column; gap: 8px; }
.sh-title { font-weight: 600; }
.sh-url, .sh-prompt {
  width: 100%; font: 11.5px var(--mono); color: var(--text); background: var(--code-bg); border: 1px solid var(--line);
  border-radius: 7px; padding: 6px 8px;
}
.sh-prompt { height: 200px; resize: vertical; line-height: 1.45; white-space: pre-wrap; }
/* Exactly what I see: whether the links carry everything followed or only the view, a switch */
.sh-exact {
  align-self: flex-start; display: inline-flex; align-items: center; gap: 8px; margin-bottom: -4px; padding: 2px 0; border: 0;
  background: none; color: var(--text); font: 600 12.5px var(--font); cursor: pointer;
}
.sh-switch { position: relative; flex: none; width: 28px; height: 16px; border-radius: 8px; background: color-mix(in srgb, var(--text-3) 60%, transparent); transition: background 0.15s; }
.sh-switch::after {
  content: ""; position: absolute; top: 2px; left: 2px; width: 12px; height: 12px; border-radius: 50%;
  background: var(--surface-solid); box-shadow: 0 1px 2px rgba(0, 0, 0, 0.3); transition: transform 0.15s;
}
.sh-exact[aria-checked="true"] .sh-switch { background: var(--accent); }
.sh-exact[aria-checked="true"] .sh-switch::after { transform: translateX(12px); }
.sh-exact:focus-visible { outline: none; }
.sh-exact:focus-visible .sh-switch { box-shadow: 0 0 0 2px var(--surface-solid), 0 0 0 4px var(--accent); }
.sh-note { font-size: 11.5px; line-height: 1.45; }
.sh-form { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 6px 10px; align-items: center; }
.sh-field { display: contents; font-size: 12.5px; }
.sh-field > span { color: var(--text-2); }
.sh-field input, .sh-field select {
  font: 12.5px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line); border-radius: 7px; padding: 5px 7px;
}
.sh-tokens { display: flex; flex-direction: column; gap: 6px; padding-top: 8px; border-top: 1px solid var(--line); }
.sh-sub { font-size: 11.5px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; }
/* a token in force: a click on it shows its prompt again; the one on show is marked */
.sh-tok { display: flex; align-items: center; gap: 6px; font-size: 12.5px; line-height: 1.4; margin: 0 -6px; padding: 3px 6px; border-radius: 8px; }
.sh-tok.on { background: color-mix(in srgb, var(--accent) 9%, transparent); }
.sh-tok-text { flex: 1; min-width: 0; cursor: pointer; }
.sh-tok-text:hover b { color: var(--accent); }
.sh-tok-text .muted { font-size: 11.5px; }
.sh-tok .bot { margin-right: 4px; color: var(--text-2); }
.sh-lvl { font-size: 11px; padding: 0 5px; border-radius: 5px; background: var(--code-bg); color: var(--text-2); }
.sh-act { flex: none; }
/* a personal link in force: nothing to show again, so no pointer */
.sh-person .sh-tok-text { cursor: default; }
.sh-person .sh-tok-text:hover b { color: inherit; }
.act-badge {
  min-width: 18px; height: 18px; padding: 0 5px; border-radius: 9px; background: var(--bad); color: #fff;
  font: 600 10.5px/18px var(--font); text-align: center;
}
#activity, #lostfound {
  position: fixed; top: calc(108px + var(--selbar-h, 0px)); right: 12px; bottom: 56px; width: 400px; z-index: 7;
  border-radius: 18px; overflow: auto; padding: 16px 18px 22px;
  transform: translateX(calc(100% + 24px)); transition: transform 0.32s cubic-bezier(0.2, 0.9, 0.25, 1);
}
#activity.open, #lostfound.open { transform: none; }
.act-head { display: flex; justify-content: space-between; align-items: center; margin-bottom: 10px; }
.act-title { font-weight: 700; font-size: 18px; letter-spacing: -0.01em; }
.act-filters { display: flex; flex-wrap: wrap; gap: 4px; margin-bottom: 8px; }
.act-day { margin: 14px 0 4px; font-size: 11.5px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; }
.act-item { display: grid; grid-template-columns: max-content minmax(0, 1fr); gap: 8px; padding: 6px 0; border-top: 1px solid var(--line); font-size: 12.5px; line-height: 1.45; }
.act-time { color: var(--text-3); font-variant-numeric: tabular-nums; font-size: 11.5px; padding-top: 1px; white-space: nowrap; min-width: 34px; }
.act-text .ok { color: var(--rv-approved); font-weight: 600; }
.act-text .bad { color: var(--bad); font-weight: 600; }
.act-text .commented { color: var(--rv-commented); font-weight: 600; }
.act-text .warn { color: var(--banner-warn); font-weight: 600; }
.act-ref { border: 0; background: transparent; padding: 0; font: inherit; color: var(--accent); cursor: pointer; }
.act-ref:hover { text-decoration: underline; }
.act-ref.mono, .act-text .mono { font-family: var(--mono); font-size: 11.5px; }
.act-ref .star { color: var(--target-star); margin-right: 1px; }
.act-gone { color: var(--text-3); }
.act-quote { margin-top: 3px; padding-left: 8px; border-left: 2px solid var(--line); color: var(--text-2); white-space: pre-wrap; }
.act-quote.md { white-space: normal; }
.act-warn { margin-top: 3px; color: var(--banner-warn); font-size: 12px; }
.act-details summary { cursor: pointer; color: var(--text-2); font-size: 12px; margin-top: 2px; }
.act-list { margin-top: 2px; font-size: 12px; }
.act-empty { padding: 18px 0; }
/* what agents did: their mark, their notes, Undo on their layouts */
.act-agent .bot { margin-right: 3px; color: var(--text-2); }
.act-note { border-left-style: dashed; color: var(--text); }
.act-note-go { display: block; width: 100%; border: 0; border-left: 2px dashed var(--line); background: transparent; font: inherit; text-align: left; cursor: pointer; }
.act-note-go:hover { border-left-color: var(--accent); }
.act-note.gone { text-decoration: line-through; color: var(--text-3); }
.act-undo {
  margin-left: 4px; padding: 0 7px; border-radius: 6px; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--accent); font: 600 11.5px var(--font); line-height: 18px; cursor: pointer;
}
.act-undo:hover { border-color: var(--accent); }
.act-undo:disabled { opacity: 0.5; cursor: default; }
.act-who .bot { margin-right: 4px; }
.act-key { font-family: var(--mono); font-size: 11.5px; }
/* the lost-and-found (web/src/lostfound.ts): by name what is lost, then the migrations, then what
   is archived */
.lf-intro { font-size: 12px; line-height: 1.45; margin-bottom: 10px; }
.lf-sec-h { margin: 16px 0 6px; font-size: 11.5px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; }
details.lf-archived > summary { cursor: pointer; }
.lf-none { font-size: 12px; padding: 4px 0 2px; }
.lf-group, .lf-mig, .lf-arch-item { padding: 8px 0; border-top: 1px solid var(--line); font-size: 12.5px; line-height: 1.45; border-radius: 6px; transition: background 0.4s; }
.lf-name { font: 600 12px var(--mono); overflow-wrap: anywhere; }
.lf-last { font-size: 11.5px; margin-top: 1px; overflow-wrap: anywhere; }
.lf-last .mono { font: 11px var(--mono); }
.lf-sugg { display: flex; align-items: baseline; flex-wrap: wrap; gap: 4px 6px; margin-top: 4px; font-size: 12px; }
.lf-score { font-weight: 600; color: var(--accent); font-variant-numeric: tabular-nums; }
.lf-why { font-size: 11.5px; }
.lf-acts { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; margin-top: 6px; }
.lf-acts .sbtn:disabled { opacity: 0.5; cursor: default; }
.lf-confirm { margin-top: 6px; padding: 8px 10px; border-radius: 8px; background: color-mix(in srgb, var(--accent) 8%, transparent); font-size: 12px; }
.lf-entry { display: grid; grid-template-columns: 52px minmax(0, 1fr) max-content; gap: 2px 8px; align-items: start; margin-top: 6px; }
.lf-entry > .act-warn { grid-column: 2 / -1; }
.lf-kind { font-size: 10.5px; font-weight: 600; color: var(--text-3); text-transform: uppercase; letter-spacing: 0.03em; padding-top: 2px; }
.lf-entry-t { min-width: 0; overflow-wrap: anywhere; }
.lf-when { color: var(--text-3); font-size: 11.5px; white-space: nowrap; }
.lf-arch {
  padding: 0 7px; border-radius: 6px; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--text-2); font: 500 11px var(--font); line-height: 18px; cursor: pointer;
}
.lf-arch:hover { border-color: var(--accent); color: var(--accent); }
.lf-arch:disabled, .act-undo:disabled { opacity: 0.5; cursor: default; }
.lf-mv { font-size: 12.5px; }
.lf-how { color: var(--text-2); font-size: 12px; }
.lf-carried { color: var(--text-2); font-size: 11.5px; }
.lf-mig.undone .lf-mv { text-decoration: line-through; text-decoration-color: var(--text-3); }
.lf-arch-item .lf-entry-t { margin-top: 2px; }
.lf-flash { background: color-mix(in srgb, var(--accent) 13%, transparent); }
/* an agent's advice in the review box: apart from the reviewers' opinions, dashed */
.rv-advice { display: flex; flex-direction: column; gap: 4px; padding: 6px 8px; border-radius: 8px; border: 1px dashed color-mix(in srgb, var(--text-3) 70%, transparent); }
.rv-adv-h { display: flex; align-items: center; gap: 5px; font-size: 11.5px; color: var(--text-2); }
.rv-adv { font-size: 12.5px; line-height: 1.45; }
.rv-adv.old { opacity: 0.6; }
.rv-adv-approve .rv-adv-v { color: color-mix(in srgb, var(--rv-approved) 80%, var(--text)); }
.rv-adv-comment .rv-adv-v { color: var(--rv-advice-comment); }
.rv-adv-c { margin: 2px 0 0 0; color: var(--text-2); white-space: pre-wrap; font-size: 12px; }
.rv-adv-c.md { white-space: normal; }
.rv-adv-c > p:first-child::before { content: "— "; }
/* in a target's TCB in review order: what an agent advises, beside the status */
.q-adv { display: inline-flex; margin-left: 5px; vertical-align: -1px; }
.q-adv-comment { color: var(--rv-advice-comment); }
.q-adv-approve { color: var(--rv-advice-approve); }
.q-adv .bot { width: 11px; height: 11px; }
.p-also { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; margin: 4px 0 2px; font-size: 12px; color: var(--text-2); }
.p-also .avatar { width: 20px; height: 20px; font-size: 9px; }
.modal-actions { display: flex; justify-content: flex-end; gap: 8px; }
.rv-btn.primary { background: var(--accent); border-color: var(--accent); color: white; }
.rv-btn.primary:hover { color: white; filter: brightness(1.08); }
.tk-ref:hover { text-decoration: underline; background: var(--code-bg); }
.brand .logo { font-size: 17px; }
.project { color: var(--text-2); font-weight: 500; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
.snapshot {
  font-size: 11px; font-weight: 600; color: var(--accent); background: rgba(125, 92, 240, 0.12);
  padding: 2px 8px; border-radius: 999px; white-space: nowrap;
}
.build-pill {
  display: inline-flex; align-items: center; gap: 6px; border: 0; border-radius: 999px;
  padding: 3px 10px; font-size: 11.5px; font-weight: 600; white-space: nowrap;
  background: var(--code-bg); color: var(--text-2); max-width: 340px; overflow: hidden; text-overflow: ellipsis;
}
.build-pill .b-dot { width: 7px; height: 7px; border-radius: 50%; background: var(--st-ok); flex: none; }
.build-pill.building .b-dot { background: var(--st-building); animation: pulse 1.1s ease-in-out infinite; }
.build-pill.bad { color: var(--st-failed); background: rgba(255, 59, 48, 0.1); }
.build-pill.bad .b-dot { background: var(--st-failed); }
.build-pill.warn .b-dot { background: var(--st-sorry); }
.build-pill.stale .b-dot, .build-pill.off .b-dot { background: var(--st-stale); }
@keyframes pulse { 50% { opacity: 0.3; } }
#progress { position: absolute; left: 16px; right: 16px; bottom: 0; height: 2px; opacity: 0; transition: opacity 0.3s; }
#progress.on { opacity: 1; }
#progress > div { height: 100%; width: 0; background: var(--grad); border-radius: 2px; transition: width 0.4s; }
#build-pop {
  position: fixed; top: 66px; left: 12px; width: 460px; max-height: 60vh; overflow: auto; z-index: 36;
  border-radius: 14px; padding: 10px;
}
.pop-h { font-weight: 600; margin: 4px 4px 6px; }
/* the build-status popover's head: when the build on show finished, its commit, the two ways into
   the history, the recent builds (web/src/buildpop.ts) */
.bp-head { display: flex; align-items: baseline; flex-wrap: wrap; gap: 8px; margin: 2px 4px 8px; font-size: 12.5px; }
.bp-built { font-weight: 600; }
.bp-commit { color: var(--text-2); font-size: 12px; white-space: nowrap; }
.bp-commit .mono { font: 11.5px var(--mono); color: var(--text); }
.bp-dirty { font-size: 10.5px; font-weight: 600; color: var(--banner-warn); background: rgba(255, 159, 10, 0.13); padding: 0 5px; border-radius: 5px; }
.bp-btns { display: flex; gap: 6px; margin: 0 4px 10px; }
.bp-btn {
  flex: 1; display: inline-flex; align-items: center; justify-content: center; gap: 6px; height: 30px; padding: 0 10px;
  border-radius: 9px; border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 500 12.5px var(--font); cursor: pointer;
}
.bp-btn:hover { border-color: var(--accent); color: var(--accent); }
.bp-btn svg { fill: none; stroke: currentColor; stroke-width: 1.5; stroke-linecap: round; stroke-linejoin: round; flex: none; }
.bp-count {
  min-width: 18px; height: 18px; padding: 0 5px; border-radius: 9px; font: 600 10.5px/18px var(--font); text-align: center;
  background: var(--code-bg); color: var(--text-2); box-shadow: inset 0 0 0 1px var(--line);
}
.bp-count.lost { background: var(--accent); color: #fff; box-shadow: none; }
.bp-build {
  display: flex; align-items: baseline; gap: 8px; width: 100%; border: 0; background: transparent; text-align: left;
  padding: 4px 6px; border-radius: 7px; font-size: 12px; color: var(--text); cursor: pointer;
}
.bp-build:hover { background: var(--code-bg); }
.bp-build.on .bp-when { font-weight: 600; }
.bp-when { min-width: 104px; white-space: nowrap; font-variant-numeric: tabular-nums; }
.bp-notes { margin-left: auto; color: var(--text-3); font-size: 11px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
/* the history above, the graph on show and its files below */
.bp-build + .pop-h, .bp-btns + .pop-h { margin-top: 10px; padding-top: 10px; border-top: 1px solid var(--line); }
.pop-ok { padding: 4px; }
.pf {
  display: flex; align-items: center; gap: 8px; width: 100%; border: 0; background: transparent; text-align: left;
  padding: 4px 6px; border-radius: 7px; font-size: 12px;
}
.pf:hover { background: var(--code-bg); }
.pf-name { flex: 1; font-family: var(--mono); font-size: 11.5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.pf-st { color: var(--text-3); font-size: 11px; white-space: nowrap; }
.o-st { width: 7px; height: 7px; border-radius: 50%; flex: none; display: inline-block; background: var(--st-stale); }
.o-st.st-failed, .o-st.st-unbuilt { background: var(--st-failed); }
.o-st.st-sorry { background: var(--st-sorry); }
.o-st.st-building { background: var(--st-building); animation: pulse 1.1s ease-in-out infinite; }
.o-st.st-blocked { background: transparent; box-shadow: inset 0 0 0 1.5px var(--st-failed); }
.o-st.st-stale, .o-st.st-queued { background: transparent; box-shadow: inset 0 0 0 1.5px var(--st-stale); }
.banner { border-radius: 10px; padding: 8px 10px; font-size: 12px; margin: 0 0 10px; line-height: 1.4; }
.banner.bad { background: rgba(255, 59, 48, 0.1); color: var(--banner-bad); }
.banner.warn { background: rgba(255, 159, 10, 0.13); color: var(--banner-warn); }
.banner.info { background: rgba(10, 132, 255, 0.1); color: var(--banner-info); }
.banner code { font: 11px var(--mono); }
.tip-st { font: 600 10.5px var(--font); margin-left: 6px; color: var(--text-2); }
.tip-st.st-failed, .tip-st.st-unbuilt, .tip-st.st-blocked { color: var(--st-failed); }
.tip-st.st-sorry { color: var(--st-sorry); }
.tip-st.st-building { color: var(--st-building); }
.right { display: flex; align-items: center; gap: 10px; flex: 1; justify-content: flex-end; }

.seg { display: flex; background: var(--code-bg); border-radius: 10px; padding: 2px; }
.seg button {
  border: 0; background: transparent; padding: 5px 13px; border-radius: 8px;
  font-weight: 500; color: var(--text-2); transition: background 0.15s, color 0.15s;
}
.seg button:hover { color: var(--text); }
.seg button.on { background: var(--surface-solid); color: var(--text); box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
.seg.small button { padding: 4px 10px; font-size: 12px; }

.search-wrap { position: relative; }
#search {
  width: 220px; height: 32px; border-radius: 9px; border: 0.5px solid var(--line);
  background: var(--code-bg); color: var(--text); padding: 0 12px; font: inherit; outline: none;
}
#search:focus { background: var(--surface-solid); box-shadow: 0 0 0 3px rgba(125, 92, 240, 0.25); }
/* the search asked for a declaration (the lost-and-found's Attach to…): it says so */
.search-wrap.picking #search { width: 300px; box-shadow: 0 0 0 2px var(--accent); }
.search-wrap.picking #search::placeholder { color: var(--accent); }
#results {
  position: absolute; right: 0; top: 40px; width: min(500px, calc(100vw - 24px)); max-height: min(560px, calc(100vh - 80px)); overflow: auto;
  border-radius: 12px; padding: 4px;
  /* denser than the other glass: snippets are read, and the labels of the canvas would show through */
  background: color-mix(in srgb, var(--surface-solid) 94%, transparent);
}
/* a result: its name, and where it matched when that is not the name (web/src/search.ts) */
.hit { padding: 6px 10px; border-radius: 8px; cursor: pointer; }
.hit.on, .hit:hover { background: var(--code-bg); }
.h-line { display: flex; align-items: center; gap: 8px; white-space: nowrap; min-width: 0; }
.h-name { font-weight: 600; }
.h-ns { color: var(--text-3); overflow: hidden; text-overflow: ellipsis; font-size: 12px; }
/* under the name, in line with it past the dot */
.h-snip { display: flex; align-items: baseline; gap: 7px; margin: 2px 0 0 16px; min-width: 0; color: var(--text-2); font-size: 12px; }
.h-where { flex: none; font-size: 10px; font-weight: 600; letter-spacing: 0.04em; text-transform: uppercase; color: var(--text-3); }
.h-text { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0; }
.h-statement .h-text { font: 11.5px var(--mono); }
#results mark { background: color-mix(in srgb, var(--accent) 24%, transparent); color: inherit; border-radius: 3px; }
.h-more, .h-none { padding: 7px 10px 5px; color: var(--text-2); font-size: 11.5px; }
.h-more { border-top: 1px solid var(--line); margin-top: 4px; }

.hint {
  position: fixed; top: 112px; left: calc((100vw + var(--inset-left, 0px) - var(--inset-right, 0px)) / 2); transform: translateX(-50%);
  color: var(--text-2); font-size: 12px; z-index: 5; pointer-events: none; white-space: nowrap;
  transition: left 0.32s cubic-bezier(0.2, 0.9, 0.25, 1);
}
/* something said for a moment (a shift-click that changed nothing): read, then gone */
/* something said for a moment is read above the floating windows too: it answers what was just done */
.hint.say { color: var(--text); padding: 3px 10px; border-radius: 8px; background: var(--surface-solid); box-shadow: var(--shadow); z-index: 36; }
.hint.say.below { top: 156px; }

/* the selection (web/src/selbar.ts): under the modes, heading the panel's column */
#selbar {
  position: fixed; top: 106px; right: 12px; width: 400px; max-width: calc(100vw - 24px); z-index: 7;
  display: flex; flex-wrap: wrap; align-items: center; gap: 4px 8px; padding: 6px 8px; border-radius: 12px;
  max-height: 96px; overflow: auto;
}
.sb-chips { display: flex; flex-wrap: wrap; gap: 4px; min-width: 0; flex: 1 1 auto; }
.sb-chip {
  display: inline-flex; align-items: center; max-width: 100%; min-height: 24px; padding: 0 2px 0 0; border-radius: 999px;
  border: 1px solid var(--line); background: var(--surface-solid); font: 12px/1.3 var(--font);
}
.sb-chip.on { border-color: color-mix(in srgb, var(--accent) 55%, transparent); box-shadow: 0 0 0 1px color-mix(in srgb, var(--accent) 30%, transparent); }
.sb-go {
  min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; border: 0; background: transparent; padding: 2px 4px 2px 9px;
  color: var(--text); font: inherit; cursor: pointer;
}
.sb-go:hover:not(:disabled) { color: var(--accent); }
.sb-go:disabled { color: var(--text-2); cursor: default; font-style: italic; }
.sb-chip.on .sb-go { color: var(--accent); font-weight: 600; }
.sb-x { flex: none; width: 18px; height: 18px; padding: 0; border: 0; border-radius: 50%; background: transparent; color: var(--text-3); font-size: 13px; line-height: 1; cursor: pointer; }
.sb-x:hover { background: var(--code-bg); color: var(--bad); }
.sb-meta { display: flex; align-items: center; gap: 6px; margin-left: auto; flex: none; }
.sb-n { color: var(--text-2); font-size: 11.5px; font-variant-numeric: tabular-nums; white-space: nowrap; }
.sb-btn {
  height: 24px; padding: 0 8px; border-radius: 7px; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--text-2); font: 500 11.5px var(--font); white-space: nowrap; cursor: pointer;
}
.sb-btn:hover:not(:disabled) { color: var(--accent); border-color: color-mix(in srgb, var(--accent) 40%, var(--line)); }
.sb-btn:disabled { color: var(--text-3); cursor: default; }

/* ---------------------------------------------------------------- the top: tabs and light-up */

#viewbar {
  position: fixed; top: 66px; left: 12px; right: 12px; height: 34px; z-index: 17;
  display: flex; align-items: center; gap: 8px; pointer-events: none;
}
#viewbar > * { pointer-events: auto; }
.tabs { display: flex; align-items: center; gap: 4px; min-width: 0; overflow-x: auto; scrollbar-width: none; padding: 2px; }
.tabs::-webkit-scrollbar { display: none; }
.tab, .views-btn {
  flex: none; display: inline-flex; align-items: center; gap: 6px; height: 30px; max-width: 240px; padding: 0 6px 0 12px;
  border-radius: 10px; border: 0.5px solid var(--line); background: var(--surface); color: var(--text-2);
  backdrop-filter: saturate(180%) blur(22px); -webkit-backdrop-filter: saturate(180%) blur(22px);
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.06); font: 500 12.5px var(--font); white-space: nowrap; cursor: pointer;
  transition: background 0.15s, color 0.15s, box-shadow 0.15s;
}
.tab:hover, .views-btn:hover { color: var(--text); }
.tab.on { background: var(--surface-solid); color: var(--text); box-shadow: 0 0 0 1.5px color-mix(in srgb, var(--accent) 55%, transparent), var(--shadow); }
.tab-t { overflow: hidden; text-overflow: ellipsis; min-width: 0; }
/* a view nobody keeps: it goes when the last page closes it */
.tab.loose .tab-t { font-style: italic; }
.tab .star { margin-right: 3px; }
/* a view targets are linked to (ViewSpec decision 29): a small yellow star by its name, on its tab
   and in the Views menu */
.link-star { font-size: 0.82em; vertical-align: 0.08em; }
.vm-link { width: 100%; margin-bottom: 6px; }
.vm-link .star { margin-right: 1px; }
.rv-view { margin-top: 8px; font-size: 12px; }
.rv-view b { color: var(--text); font-weight: 500; }
/* a tab that cannot be closed (the Project) is as wide on the right as on the left */
.tab:not(:has(.tab-x)) { padding-right: 12px; }
.tab-x { display: grid; place-items: center; width: 18px; height: 18px; border-radius: 6px; color: var(--text-3); font-size: 14px; line-height: 1; }
.tab-x:hover { background: var(--code-bg); color: var(--text); }
.views-wrap { position: relative; flex: none; }
.views-btn { padding: 0 10px 0 12px; }
.views-btn svg { fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.views-btn.on { color: var(--accent); background: var(--surface-solid); }
#views-menu {
  position: absolute; top: 38px; left: 0; width: min(360px, calc(100vw - 24px)); max-height: calc(100vh - 130px); overflow: auto;
  border-radius: 14px; padding: 8px; z-index: 30; background: color-mix(in srgb, var(--surface-solid) 94%, transparent);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
.vm-acts { display: grid; grid-template-columns: 1fr 1fr; gap: 4px; margin-bottom: 6px; }
.vm-act {
  height: 28px; border-radius: 8px; border: 1px solid var(--line); background: var(--surface-solid); color: var(--text);
  font: 500 12px var(--font); cursor: pointer;
}
.vm-act:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
.vm-act.bad:hover:not(:disabled) { border-color: var(--bad); color: var(--bad); }
.vm-act:disabled { color: var(--text-3); cursor: default; }
.vm-h { margin: 10px 6px 4px; font-size: 11px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; }
.vm-row {
  display: flex; flex-direction: column; align-items: stretch; width: 100%; border: 0; background: transparent; text-align: left;
  padding: 4px 6px; border-radius: 7px; cursor: pointer; color: var(--text); font: 12.5px var(--font);
}
.vm-row:hover, .vm-row.on { background: var(--code-bg); }
.vm-row.on { box-shadow: inset 2px 0 0 var(--accent); }
.vm-name { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-weight: 500; }
/* in the Views menu, a view nobody keeps, in italics as its tab is */
.vm-row.loose .vm-name { font-style: italic; }
.vm-scope { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font: 11px var(--mono); color: var(--text-3); }
.vm-note { padding: 8px 6px 2px; font-size: 11.5px; }
.vm-ask { display: flex; flex-direction: column; gap: 6px; padding: 4px; }
.vm-l { font-size: 12px; color: var(--text-2); }
.vm-input {
  font: 13px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line); border-radius: 8px; padding: 7px 10px;
}
.vm-input:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
.vm-actions { display: flex; justify-content: flex-end; gap: 6px; }
/* the review's focus, in the view's header (ViewSpec decision 28; web/src/focus.ts): the reader's own
   focus, where it is not the view's, says so */
.focus-wrap { position: relative; flex: none; }
.focus-btn { gap: 3px; max-width: 280px; }
.focus-btn .fc-name { min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.focus-btn svg { flex: none; }
.focus-btn .fc-k { color: var(--text-3); font-weight: 500; }
.focus-btn .star { margin-right: 1px; }
.focus-btn .fc-own { margin-left: 2px; color: var(--accent); font-size: 11px; font-weight: 600; }
.focus-btn.own { box-shadow: 0 0 0 1px color-mix(in srgb, var(--accent) 45%, transparent); }
#focus-menu {
  position: absolute; top: 38px; left: 0; width: min(300px, calc(100vw - 24px)); max-height: calc(100vh - 130px); overflow: auto;
  border-radius: 14px; padding: 8px; z-index: 30; background: color-mix(in srgb, var(--surface-solid) 94%, transparent);
  box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#focus-menu .vm-h .muted { text-transform: none; letter-spacing: 0; font-weight: 400; margin-left: 4px; }
.fc-row { flex-direction: row; align-items: center; gap: 6px; }
.fc-dot { flex: none; width: 12px; color: var(--accent); font-size: 10px; }
.fc-note { margin-left: auto; font-size: 11px; }
.fc-back, .fc-set { width: 100%; margin-top: 6px; }
.vm-sep { height: 1px; margin: 8px 2px 2px; background: var(--line); }
.vb-gap { flex: 1; }
.light-l { flex: none; font-size: 11.5px; color: var(--text-2); }
/* what a mode does, under its button while the pointer is on it */
.mode-tip {
  position: fixed; z-index: 40; max-width: 280px; padding: 7px 10px; border-radius: 10px;
  font-size: 12px; line-height: 1.45; color: var(--text); pointer-events: none;
}
.mode-tip[hidden] { display: none; }
.mode-tip div { color: var(--text-2); margin-top: 2px; }
/* Rests on's steps in the tip: one line each */
.mode-tip .tip-steps { margin: 4px 0 0; padding: 0 0 0 14px; color: var(--text-2); }
.mode-tip .tip-steps b { color: var(--text); font-weight: 600; }
/* Rests on (ViewSpec decision 20): one segment of the bar, which while it is the mode holds its
   three steps beside its name, the step in force in the accent colour */
#lightup .rests { display: flex; align-items: center; border-radius: 8px; transition: background 0.15s, box-shadow 0.15s; }
#lightup .rests.on { background: var(--surface-solid); box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
#lightup .rests.on > button { color: var(--text); padding-right: 6px; }
#lightup .steps { display: flex; align-items: center; gap: 1px; margin-right: 3px; padding: 1px; border-radius: 7px; background: var(--code-bg); }
#lightup .steps[hidden] { display: none; }
#lightup .steps button { padding: 2px 8px; border-radius: 6px; font-size: 11.5px; }
#lightup .steps button.on { color: var(--accent); background: var(--surface-solid); box-shadow: 0 0 0 1px color-mix(in srgb, var(--accent) 35%, transparent); font-weight: 600; }
#lightup { flex: none; background: var(--surface); backdrop-filter: saturate(180%) blur(22px); -webkit-backdrop-filter: saturate(180%) blur(22px); box-shadow: 0 1px 2px rgba(0, 0, 0, 0.06); border: 0.5px solid var(--line); }

/* ---------------------------------------------------------------- side panels */

#side {
  position: fixed; top: 108px; left: 12px; bottom: 56px; width: 268px; overflow-x: hidden;
  border-radius: 16px; z-index: 6; display: flex; flex-direction: column; overflow: hidden;
}
/* a section of the side panel that folds away (the targets, the filter, the trusted list): its
   heading, a chevron, the title and what is worth seeing folded */
.sec-h {
  display: flex; align-items: center; gap: 6px; width: 100%; padding: 2px 0; border: 0; background: transparent;
  color: var(--text); font: 600 12.5px var(--font); text-align: left; cursor: pointer;
}
.sec-chev { flex: none; width: 10px; color: var(--text-3); font-size: 10px; }
.sec-t { flex: none; }
.sec-aside { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-weight: 400; font-size: 11.5px; }
.sec-h:hover .sec-chev, .sec-h:hover .sec-t { color: var(--accent); }
/* the targets (web/src/targetlist.ts): at the top, the same on every board */
#targets { padding: 10px 12px 8px 14px; border-bottom: 1px solid var(--line); flex: none; max-height: 30%; overflow: auto; }
.tg-rows { display: flex; flex-direction: column; gap: 1px; margin-top: 4px; }
.tg-row {
  display: grid; grid-template-columns: minmax(0, 1fr) 40px auto auto; align-items: center; gap: 7px; width: 100%;
  padding: 4px 6px; border: 0; border-radius: 7px; background: transparent; color: var(--text); text-align: left; cursor: pointer;
}
.tg-row:hover, .tg-row.on { background: var(--code-bg); }
.tg-row.on { box-shadow: inset 2px 0 0 var(--accent); }
.tg-name { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font: 12px var(--mono); }
.tg-name .star { margin-right: 3px; }
/* a target with no view (ViewSpec decision 29, the owner's decision of 2026-10-11): said where its
   bar is; a click goes to it on the board on show */
.tg-noview { font: 10.5px var(--font); color: var(--text-3); white-space: nowrap; }
.tg-n { color: var(--text-2); font-size: 11.5px; font-variant-numeric: tabular-nums; }
.tg-key { color: var(--text-2); font-size: 11px; font-variant-numeric: tabular-nums; white-space: nowrap; }
.tg-key .key-mark { margin-right: 1px; }
.tg-gone { grid-column: 2 / 5; font-size: 11px; }
.tg-none { margin-top: 4px; font-size: 11.5px; line-height: 1.4; }
/* the board (web/src/boardpanel.ts): which view, kept or not, and its scope as chips */
.board-h { display: flex; align-items: baseline; gap: 6px; min-width: 0; }
.board-k { flex: none; font-size: 10.5px; font-weight: 600; color: var(--text-3); text-transform: uppercase; letter-spacing: 0.05em; }
.board-title { font-weight: 600; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; min-width: 0; }
.board-tag { margin: 1px 0 8px; font-size: 11px; color: var(--text-2); }
.board-tag.loose { color: var(--banner-warn); }
.scope { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; }
.schip {
  display: inline-flex; align-items: center; gap: 2px; max-width: 100%; min-height: 24px; padding: 2px 3px 2px 9px; border-radius: 999px;
  border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 11.5px/1.3 var(--font); cursor: default;
}
.schip.base { padding: 2px 9px; color: var(--accent); font-weight: 600; cursor: pointer; border-color: color-mix(in srgb, var(--accent) 35%, var(--line)); }
.schip.base:hover { background: color-mix(in srgb, var(--accent) 10%, var(--surface-solid)); }
.schip.add { width: 24px; padding: 0; justify-content: center; color: var(--accent); font: 600 14px/1 var(--font); cursor: pointer; }
.schip.add:hover, .schip.add.on { border-color: var(--accent); background: color-mix(in srgb, var(--accent) 10%, var(--surface-solid)); }
.schip-x { flex: none; width: 18px; height: 18px; padding: 0; border: 0; border-radius: 50%; background: transparent; color: var(--text-3); font-size: 13px; line-height: 1; }
.schip-x:hover { background: var(--code-bg); color: var(--bad); }
.scope-add { display: flex; flex-direction: column; gap: 1px; margin-top: 6px; padding: 4px; border-radius: 10px; background: var(--code-bg); }
.sa-row {
  border: 0; background: transparent; text-align: left; padding: 4px 8px; border-radius: 6px; font: 12px var(--font); color: var(--text); cursor: pointer;
}
.sa-row:hover:not(:disabled) { background: var(--surface-solid); color: var(--accent); }
.sa-row:disabled { color: var(--text-3); cursor: default; }
.sa-form input, .scope-input {
  width: 100%; font: 12px var(--font); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line);
  border-radius: 6px; padding: 4px 8px; margin: 2px 0;
}
.scope-input { font: 11.5px var(--mono); padding: 6px 8px; }
.sa-form input:focus, .scope-input:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
.scope-help { font-size: 11px; line-height: 1.4; margin: 2px 0 4px; }
#board .sec-h { margin-bottom: 4px; }
/* someone else changed the board: a short note, fading */
.board-note {
  margin: 4px 0 2px; padding: 4px 8px; border-radius: 8px; font-size: 12px; line-height: 1.4;
  background: color-mix(in srgb, var(--accent) 10%, transparent); color: var(--text); transition: opacity 0.6s;
}
.board-note.fade, .note.fade { opacity: 0; }
/* the cluster controls: a label column, and one row each for depth, what is shown, the view */
/* over the cluster tree: what it is clustered by, and the two buttons that open the rest beside the
   side panel (web/src/popover.ts) */
.side-tools { display: flex; align-items: center; gap: 4px; padding: 8px 10px 6px 14px; flex: none; }
.side-what { flex: 1; min-width: 0; font: 600 12.5px var(--font); }
.side-tool { display: inline-flex; align-items: center; gap: 4px; }
.side-tool.on { color: var(--accent); border-color: color-mix(in srgb, var(--accent) 45%, var(--line)); background: color-mix(in srgb, var(--accent) 9%, var(--surface-solid)); }
.side-n { color: var(--text-3); font-variant-numeric: tabular-nums; }
.side-tools + .board-note { margin: 0 12px 6px 14px; }
.side-pop {
  position: fixed; z-index: 36; width: 284px; overflow: auto; padding: 12px 12px 12px 14px; border-radius: 14px;
  background: color-mix(in srgb, var(--surface-solid) 94%, transparent); box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
#board-pop .ctl { margin-top: 12px; padding-top: 10px; border-top: 1px solid var(--line); }
.side-title { font-weight: 600; margin-bottom: 8px; }
.ctl { display: grid; grid-template-columns: 50px minmax(0, 1fr); align-items: center; gap: 6px 6px; }
.ctl-l { font-size: 11.5px; color: var(--text-2); }
.ctl-r { display: flex; flex-wrap: wrap; align-items: center; gap: 4px; min-width: 0; }
#hidden-levels { font-size: 11.5px; color: var(--text-2); }
.hl-list { display: flex; flex-direction: column; gap: 1px; margin: 6px 0 0 56px; max-height: 160px; overflow: auto; font-size: 11.5px; }
.hl-row { display: flex; align-items: center; gap: 6px; min-width: 0; }
.hl-key { flex: 1; min-width: 0; font: 11px var(--mono); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; color: var(--text-2); }
.sbtn {
  height: 24px; padding: 0 8px; border-radius: 7px; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--text-2); font: 500 11.5px var(--font); white-space: nowrap; cursor: pointer;
  transition: background 0.15s, color 0.15s, border-color 0.15s;
}
.sbtn:hover { color: var(--text); border-color: color-mix(in srgb, var(--accent) 40%, var(--line)); }
.sbtn.toggle.on { color: var(--accent); background: color-mix(in srgb, var(--accent) 11%, var(--surface-solid)); border-color: color-mix(in srgb, var(--accent) 38%, transparent); }
.stepper {
  display: inline-flex; align-items: stretch; height: 24px; border: 1px solid var(--line); border-radius: 7px;
  background: var(--surface-solid); overflow: hidden;
}
.stepper button { width: 26px; padding: 0; border: 0; background: transparent; color: var(--text); font: 500 14px/1 var(--font); cursor: pointer; }
.stepper button:hover:not(:disabled) { background: var(--code-bg); color: var(--accent); }
.stepper button:disabled { color: var(--text-3); cursor: default; }
#fold-level {
  display: grid; place-items: center; min-width: 58px; padding: 0 6px; border-inline: 1px solid var(--line);
  font-size: 11.5px; color: var(--text); font-variant-numeric: tabular-nums;
}
#outline { overflow: auto; padding: 0 6px 10px; flex: 1; }
.o-row { display: flex; align-items: center; gap: 4px; height: 26px; border-radius: 7px; cursor: pointer; padding-right: 4px; }
.o-row:hover { background: var(--code-bg); }
/* a cluster the selection picked */
.o-row.on { background: color-mix(in srgb, var(--accent) 11%, transparent); box-shadow: inset 2px 0 0 var(--accent); }
.o-row.on .o-label { color: var(--accent); font-weight: 600; }
.o-row .tw { width: 12px; color: var(--text-3); font-size: 10px; flex: none; text-align: center; }
.o-label { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.o-count { color: var(--text-3); font-size: 11px; font-variant-numeric: tabular-nums; }
.o-row .fold { border: 0; background: transparent; color: var(--text-2); width: 20px; padding: 0; font-size: 10px; }
.o-row .fold:hover { color: var(--accent); }
.o-row.folded .o-label, .o-row.folded .o-count { color: var(--text-3); }
.o-row.folded .fold { color: var(--text-3); }

#panel {
  position: fixed; top: calc(108px + var(--selbar-h, 0px)); right: 12px; bottom: 56px; width: 400px;
  border-radius: 18px; z-index: 6; overflow: auto; padding: 18px 20px 24px;
  transform: translateX(calc(100% + 24px)); transition: transform 0.32s cubic-bezier(0.2, 0.9, 0.25, 1);
}
#panel.open { transform: none; }
.p-head { display: flex; justify-content: space-between; align-items: center; }
.p-kind { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; color: var(--text-2); font-size: 12px; font-weight: 500; text-transform: capitalize; }
.icon { border: 0; background: var(--code-bg); border-radius: 50%; width: 26px; height: 26px; color: var(--text-2); }
.p-name {
  margin: 8px 0 2px; font-size: 26px; line-height: 1.15; letter-spacing: -0.025em; font-weight: 700;
  background: var(--grad); -webkit-background-clip: text; background-clip: text; color: transparent;
  word-break: break-word;
}
.p-ns { color: var(--text-2); font-size: 12.5px; word-break: break-all; }
.p-mod { color: var(--text-3); font-size: 12px; margin: 6px 0 12px; display: flex; gap: 10px; align-items: baseline; flex-wrap: wrap; overflow-wrap: anywhere; }
.p-gen { color: var(--text-2); font-size: 12px; margin: -6px 0 12px; line-height: 1.45; }
.sw-print { margin-top: 14px; border-top: 1px solid var(--line); padding-top: 10px; }
.sw-print-h { color: var(--text-3); font-size: 12px; margin-bottom: 6px; font-family: var(--mono, ui-monospace, monospace); }
.p-decl { font-family: var(--mono); font-size: 11.5px; cursor: help; }
/* the context a declaration is written in, above its code (shared/context.ts) */
.sw-ctx { margin: 0 0 10px; padding: 0 0 8px; border-bottom: 1px dashed var(--line); }
.sw-ctx .code { font: 11.5px/1.5 var(--mono); white-space: pre-wrap; overflow-wrap: anywhere; background: transparent; padding: 0; margin: 0; border-radius: 0; }
.sw-ctx-l { opacity: 0.55; }
.sw-ctx-l.used { opacity: 0.95; box-shadow: inset 2px 0 0 var(--accent); padding-left: 6px; margin-left: -8px; }
.sw-ctx:not(.open) .sw-ctx-l.fold { display: none; }
.sw-ctx-more { font-size: 11.5px; margin-top: 2px; }
.sw-gen-row { margin: 4px 0; }
.sw-gen-row pre.code { margin: 4px 0 10px; }
/* what Lean's #print says wraps as the code does */
.sw-print pre.code { overflow-wrap: anywhere; }
/* what Lean says of a generated declaration comes after the window stands at the size its code
   gives it: it wraps to that width, never widening the window (nor moving the reference beside it) */
.sw-win [data-sw-print] { contain: inline-size; }
.sw-gen-name { font: 12px var(--mono); }
.sw-gen-cmd { color: var(--text-3); }
.link { border: 0; background: none; padding: 0; color: var(--accent); font-weight: 500; font-size: 12px; }
/* "Open in editor" is a real link (web/src/editor.ts), drawn like the buttons beside it */
a.link { text-decoration: none; white-space: nowrap; }
a.link:hover { text-decoration: underline; }
.sw-head .editor-link { align-self: center; flex: none; }
.code {
  font: 12px/1.55 var(--mono); background: var(--code-bg); border-radius: 10px;
  padding: 10px 12px; margin: 0 0 12px; white-space: pre-wrap; word-break: break-word;
}
.doc { color: var(--text); font-size: 13px; margin-bottom: 12px; }
.doc p { margin: 0 0 8px; }
.doc code { font: 12px var(--mono); background: var(--code-bg); padding: 1px 4px; border-radius: 4px; }

.stats { display: grid; grid-template-columns: repeat(3, 1fr); gap: 8px; margin: 6px 0 14px; }
.stat { background: var(--code-bg); border-radius: 12px; padding: 10px 12px; }
.stat .n { font-size: 24px; font-weight: 700; letter-spacing: -0.02em; -webkit-background-clip: text; background-clip: text; color: transparent; font-variant-numeric: tabular-nums; }
.grad-tcb { background-image: var(--grad-tcb); }
.grad-dep { background-image: var(--grad-dep); }
.grad-app { background-image: var(--grad-app); }
.grad-name { background-image: var(--grad); }
.stat .l { color: var(--text-2); font-size: 11.5px; line-height: 1.3; }
.sec { font-weight: 600; margin: 10px 0 6px; }
/* a part of the panel that folds (web/src/panel.ts): its heading, and what it holds while open */
.p-sec { border-top: 1px solid var(--line); padding: 7px 0 3px; }
.p-sec .sec-h { padding: 2px 0; }
.p-sec .sec-aside { flex: 1; text-align: right; }
.p-sec .sec-aside .chip { margin: 0; }
.p-sec-body { padding-top: 6px; }
.p-sec-body .why, .p-sec-body .stats, .p-sec-body .axioms { margin-top: 0; }
.p-order { margin-bottom: 4px; }
.axioms { margin-bottom: 8px; }
.chip {
  display: inline-block; padding: 1px 8px; border-radius: 999px; background: var(--code-bg);
  font-size: 11px; margin: 0 4px 4px 0; text-transform: none; color: var(--text-2);
}
.chip.warn { color: #c25400; background: rgba(255, 159, 10, 0.14); }
.chip.bad { color: #d70015; background: rgba(255, 55, 95, 0.14); font-weight: 600; }
.muted { color: var(--text-3); font-weight: 400; }
.grp { margin-bottom: 8px; }
.grp-h { display: flex; align-items: center; gap: 6px; font-size: 12px; font-weight: 600; color: var(--text-2); text-transform: capitalize; margin: 6px 0 2px; }
.row {
  display: block; width: 100%; text-align: left; border: 0; background: transparent; padding: 3px 8px;
  border-radius: 6px; font: 12px var(--mono); color: var(--text); white-space: nowrap; overflow: hidden; text-overflow: ellipsis;
}
.row:hover { background: var(--code-bg); }
/* a cluster's panel (web/src/clusterpanel.ts) */
.cp-kinds { display: flex; flex-wrap: wrap; margin: -6px 0 6px; }
.cp-kind { display: inline-flex; align-items: center; gap: 5px; text-transform: none; }
.cp-kind b { font-weight: 600; color: var(--text); font-variant-numeric: tabular-nums; }
.cp-trust { display: flex; align-items: center; gap: 8px; flex-wrap: wrap; font-size: 12.5px; line-height: 1.4; padding: 8px 10px; background: var(--code-bg); border-radius: 10px; }
.cp-trust > span:not(.cp-shield) { flex: 1 1 200px; }
.cp-trust code { font: 11.5px var(--mono); }
.cp-shield { display: inline-grid; place-items: center; width: 20px; height: 20px; color: var(--text-3); flex: none; }
.cp-shield svg { width: 16px; height: 16px; fill: none; stroke: currentColor; stroke-width: 1.4; stroke-linejoin: round; }
.cp-shield.on { color: var(--rv-trusted); }
.cp-shield.on svg { fill: color-mix(in srgb, var(--rv-trusted) 35%, transparent); }
.cp-shield.under { opacity: 0.6; }
.cp-list { display: flex; flex-direction: column; }
.cp-kid { display: flex; align-items: center; gap: 6px; font-family: var(--font); font-size: 12.5px; }
.cp-kid .cp-l { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; }
.cp-kid .cp-n { color: var(--text-3); font-size: 11px; font-variant-numeric: tabular-nums; }
.cp-kid.folded .cp-l { color: var(--text-2); }
.cp-mod { display: flex; align-items: center; gap: 6px; }
.cp-note { font-size: 12px; margin: 4px 0; }

/* ---------------------------------------------------------------- cards on the canvas */

.card {
  position: absolute; left: 0; top: 0; pointer-events: auto; cursor: pointer;
  background: var(--surface-solid); border-radius: 12px; box-shadow: var(--shadow);
  border: 0.5px solid var(--line); padding: 5px 10px; max-width: 260px; user-select: none;
  will-change: transform;
}
.card:hover, .card.hover { box-shadow: 0 0 0 2px var(--accent), var(--shadow-lg); }
.dot.cluster-dot { background: transparent; box-shadow: inset 0 0 0 1.5px var(--accent); }
.card-head { display: flex; align-items: center; gap: 6px; white-space: nowrap; }
.card-name { font-weight: 600; font-size: 12px; overflow: hidden; text-overflow: ellipsis; }
.card-kind { color: var(--text-3); font-size: 10.5px; }
.card.pinned::after {
  content: ""; position: absolute; top: -3px; right: -3px; width: 8px; height: 8px; border-radius: 50%;
  background: var(--grad); box-shadow: 0 0 0 2px var(--surface-solid);
}
.card.k-external { background: var(--surface); border-style: dashed; }
.card.k-external .card-name { color: var(--text-2); font-weight: 500; }
.cluster-card { border-radius: 999px; }
/* a folded cluster selected, or holding what is: the selection's ring is its card's outline */
.cluster-card.picked { box-shadow: 0 0 0 2px var(--surface-solid), 0 0 0 4px var(--accent), var(--shadow); }
.cluster-card .card-name { color: var(--accent); }

.dot { width: 8px; height: 8px; border-radius: 50%; flex: none; display: inline-block; background: var(--k-external); }
.k-def .dot, .dot.k-def { background: var(--k-def); }
.k-abbrev .dot, .dot.k-abbrev { background: var(--k-abbrev); }
.k-structure .dot, .dot.k-structure { background: var(--k-structure); }
.k-class .dot, .dot.k-class { background: var(--k-class); }
.k-inductive .dot, .dot.k-inductive { background: var(--k-inductive); }
.k-instance .dot, .dot.k-instance { background: var(--k-instance); }
.k-theorem .dot, .dot.k-theorem { background: var(--k-theorem); }
.k-opaque .dot, .dot.k-opaque { background: var(--k-opaque); }
.k-axiom .dot, .dot.k-axiom { background: var(--k-axiom); }
.k-notation .dot, .dot.k-notation { background: var(--k-notation); }
/* the notation a declaration is written in (panel.ts, notationHtml) */
.p-notation .row { display: flex; align-items: center; gap: 6px; }
.p-notation .row .muted { margin-left: auto; font-size: 11px; }
.p-notation .row.p-proof-only { opacity: 0.6; }
/* grammar: the syntax a text is written with, outside the TCB (TCBSpec decision 2) */
.p-notation .p-grammar-h { font-size: 11px; margin: 6px 0 2px; }
.p-notation .row.p-grammar { opacity: 0.55; font-size: 11.5px; }
.p-interprets .p-ref { font-family: var(--mono); font-size: 11.5px; }
.p-lean code { font-size: 11px; word-break: break-all; }
.sw-interprets { margin: 6px 0 0; padding: 0 14px; }
.k-external .dot, .dot.k-external { background: transparent; box-shadow: inset 0 0 0 1.5px var(--k-external); }
/* the Status scheme's dots (web/src/status.ts), on cards, in the tip and the legend: as on the
   canvas, the outside world a ring */
.s-failed { --s: var(--status-failed); }
.s-building { --s: var(--status-building); }
.s-sorry { --s: var(--status-sorry); }
.s-commented { --s: var(--status-commented); }
.s-stale { --s: var(--status-stale); }
.s-approved { --s: var(--status-approved); }
.s-unreviewed { --s: var(--status-unreviewed); }
.s-trusted { --s: var(--status-trusted); }
.dot.ss, .card.ss .dot { background: var(--s); box-shadow: none; }
.dot.ss.k-external, .card.ss.k-external .dot { background: transparent; box-shadow: inset 0 0 0 1.5px var(--s); }
.cluster-card .dot { background: var(--grad); }

/* the guide (CollabSpec, G1): the first-visit tour, and the sheet of keys */
#tour { position: fixed; inset: 0; z-index: 60; }
/* the shade: four rectangles around the place lit up (a box-shadow that large is not drawn by every
   renderer); the ring marks the place */
.tour-shade { position: fixed; left: 0; top: 0; background: rgba(12, 12, 20, 0.5); transition: all 0.3s; }
.tour-spot {
  position: fixed; border-radius: 12px; pointer-events: none;
  box-shadow: 0 0 0 2px color-mix(in srgb, var(--accent) 75%, transparent); transition: all 0.3s;
}
.tour-spot.none { box-shadow: none; }
.tour-card {
  position: fixed; left: 0; top: 0; width: min(310px, calc(100vw - 24px)); padding: 14px 16px 12px; border-radius: 14px;
  background: var(--surface-solid); transition: transform 0.3s cubic-bezier(0.2, 0.9, 0.25, 1);
}
.tour-step { font-size: 11.5px; color: var(--text-2); margin-bottom: 4px; }
.tour-title { font-weight: 700; font-size: 16px; letter-spacing: -0.01em; margin-bottom: 6px; }
.tour-text { font-size: 13px; line-height: 1.5; color: var(--text); }
.tour-actions { display: flex; align-items: center; gap: 6px; margin-top: 14px; }
.tour-gap { flex: 1; }
#help { position: fixed; inset: 0; z-index: 45; display: flex; align-items: center; justify-content: center; background: rgba(0, 0, 0, 0.22); }
.help-box { width: min(660px, calc(100vw - 32px)); max-height: calc(100vh - 48px); overflow: auto; outline: none; }
.help-head { display: flex; justify-content: space-between; align-items: center; }
.help-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 14px 24px; }
@media (max-width: 640px) { .help-grid { grid-template-columns: 1fr; } }
.help-h { font-size: 11.5px; font-weight: 600; color: var(--text-2); text-transform: uppercase; letter-spacing: 0.04em; margin-bottom: 4px; }
.help-row { display: grid; grid-template-columns: 112px minmax(0, 1fr); gap: 10px; align-items: baseline; font-size: 12.5px; padding: 3px 0; }
.help-k { color: var(--text-2); line-height: 1.6; }
.help-g { font-style: italic; }
/* the reader's "Open in editor" template, under the keys */
.help-editor, .help-about { display: flex; flex-direction: column; gap: 6px; margin-top: 16px; padding-top: 12px; border-top: 1px solid var(--line); }
.help-note { color: var(--text-2); font-size: 12px; line-height: 1.45; }
.help-note a { color: var(--accent); }
.help-note code { font: 11px var(--mono); background: var(--code-bg); padding: 1px 4px; border-radius: 4px; overflow-wrap: anywhere; }
.help-input {
  font: 12.5px var(--mono); color: var(--text); background: var(--surface-solid); border: 1px solid var(--line);
  border-radius: 8px; padding: 7px 10px;
}
.help-input:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
kbd {
  font: 11px var(--mono); color: var(--text); padding: 1px 6px; border-radius: 5px; border: 1px solid var(--line);
  border-bottom-width: 2px; background: var(--surface-solid); white-space: nowrap;
}
.help-btn {
  width: 30px; height: 30px; flex: none; border-radius: 50%; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--text-2); font: 600 14px var(--font); cursor: pointer;
}
.help-btn:hover { border-color: var(--accent); color: var(--accent); }

/* the zoom buttons: the bottom right of the canvas, beside the panel when it is open */
#zoom {
  position: fixed; right: calc(var(--inset-right, 0px) + 12px); bottom: 48px; z-index: 6;
  display: flex; flex-direction: column; padding: 3px; gap: 2px; border-radius: 12px;
  transition: right 0.32s cubic-bezier(0.2, 0.9, 0.25, 1);
}
#zoom button {
  display: grid; place-items: center; width: 32px; height: 30px; padding: 0; border: 0; border-radius: 9px;
  background: transparent; color: var(--text); cursor: pointer;
}
#zoom button:hover { background: var(--code-bg); color: var(--accent); }
#zoom svg { fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
/* the edges drawn: on or off for this reader */
/* ⋯: the eyes' less used switches, opening to the left; a dot on it while the lock is on, dashed
   while the drag key (⌘ on a Mac, Ctrl elsewhere) is held */
#eyes-btn { position: relative; }
#eyes-btn circle { fill: currentColor; stroke: none; }
#eyes-btn.flag::after { content: ""; position: absolute; top: 4px; right: 5px; width: 6px; height: 6px; border-radius: 50%; background: var(--accent); }
#eyes-btn.held { outline: 1.5px dashed color-mix(in srgb, var(--accent) 70%, transparent); outline-offset: -3px; }
#eyes-pop {
  position: absolute; right: calc(100% + 8px); bottom: 0; display: flex; flex-direction: column; gap: 2px;
  padding: 4px; border-radius: 12px; min-width: 210px; box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
  background: color-mix(in srgb, var(--surface-solid) 94%, transparent);
}
#zoom #eyes-pop button.eye {
  display: flex; align-items: center; gap: 8px; width: 100%; height: 30px; padding: 0 8px; justify-content: flex-start;
  color: var(--text-2); font: 12.5px var(--font); text-align: left;
}
#zoom #eyes-pop button.eye.on { color: var(--accent); background: color-mix(in srgb, var(--accent) 12%, transparent); }
#zoom #eyes-pop button.eye:hover { background: var(--code-bg); color: var(--text); }
#zoom #eyes-pop button.eye.on:hover { color: var(--accent); }
#eyes-pop button.eye circle, #eyes-pop button.eye rect { fill: currentColor; stroke: none; }
#eyes-pop svg { flex: none; }
.eye-l { flex: 1; }
#eyes-pop kbd { font-size: 10.5px; padding: 0 5px; color: var(--text-2); }
.eye-theme { display: flex; align-items: center; gap: 8px; padding: 4px 4px 2px 8px; margin-top: 2px; border-top: 1px solid var(--line); color: var(--text-2); font-size: 12.5px; }
#zoom .eye-theme .seg button { width: 30px; height: 24px; padding: 0; border-radius: 6px; color: var(--text-2); background: transparent; }
#zoom .eye-theme .seg button.on { color: var(--accent); background: var(--surface-solid); box-shadow: 0 1px 3px rgba(0, 0, 0, 0.12); }
/* the lock: shut and filled while drags only pan, open otherwise; the drag key held shows dashed */
#lock-btn .lk-shackle { transition: transform 0.15s; }
#lock-btn:not(.on) .lk-shackle { transform: translate(2.6px, -1px); }
#lock-btn.on .lk-body { fill: currentColor; }
#lock-btn.held { outline: 1.5px dashed color-mix(in srgb, var(--accent) 70%, transparent); outline-offset: -3px; }

/* shared changes on the canvas (web/src/notes.ts): who did what, where */
#notes { position: fixed; inset: 0; pointer-events: none; z-index: 12; overflow: hidden; }
.note {
  position: absolute; left: 0; top: 0; padding: 4px 10px; border-radius: 8px; white-space: nowrap;
  background: var(--surface-solid); box-shadow: inset 3px 0 0 var(--c), var(--shadow); font-size: 12px; color: var(--text);
  transition: opacity 0.6s;
}
.note b { color: var(--c); }

/* the notes on the board (web/src/sticky.ts): at a fixed size on the screen, under the panels. A note
   is a round icon at its place and, expanded, its card hanging from the icon on a thin leader (the
   owner's decision, 2026-10-11); the note's element is no box of its own, each part is placed on the
   layer by itself, so that the layer stacks them, bottom to top (shared/notecard.ts, NOTE_Z; the
   owner's decision, 2026-10-12): the leaders (1); the icons, dots and folded clusters' markers (2);
   the cards (3, those pressed or opened last above by their rank, written on each); what would hold
   a dragged note (68); the icon being dragged (69). An expanded card covers the icons under it */
#stickies { position: fixed; inset: 0; pointer-events: none; z-index: 4; overflow: hidden; }
.sticky { position: absolute; left: 0; top: 0; width: 0; height: 0; color: var(--note-text); font: 12.5px/1.45 var(--font); }
.sk-icon { width: 14px; height: 14px; flex: none; color: var(--note-icon); }
/* the icon, 24 px across, centred on the note's place: its ring solid in the accent for the
   project's notes, dashed for a view's own */
.sk-ico {
  position: absolute; left: -12px; top: -12px; z-index: 2; box-sizing: border-box; width: 24px; height: 24px; border-radius: 50%;
  display: grid; place-items: center; pointer-events: auto; cursor: pointer; user-select: none; touch-action: none;
  background: var(--surface-solid); border: 1.5px solid var(--note-icon); box-shadow: 0 1px 2px rgba(0, 0, 0, 0.22), 0 2px 8px rgba(0, 0, 0, 0.1);
}
.sticky.vnote .sk-ico { border-style: dashed; }
/* zoomed out, the icon turns into a dot the size of a declaration's point (the owner's decision,
   2026-10-12): web/src/sticky.ts scales the icon down (--s) and sets how much of it shows (--t); the
   dot, coloured by what the note carries, covers it as it goes, with a thin edge of the page's
   surface whatever the scale, and the pointer reaches it a little beyond its edge (--hit) */
.sk-dot {
  position: absolute; inset: -1.5px; border-radius: 50%; pointer-events: none; opacity: calc(1 - var(--t, 1));
  background: var(--note-icon); box-shadow: 0 0 0 calc(1px / var(--s, 1)) var(--surface-solid);
}
.sticky.nk-paper .sk-dot { background: var(--note-paper); }
.sticky.nk-image .sk-dot { background: var(--note-image); }
.sk-ico::before { content: ""; position: absolute; inset: calc(-1 * var(--hit, 0px)); border-radius: 50%; }
.sticky.shrunk .sk-ico { box-shadow: none; }
.sticky.shrunk .sk-count { opacity: var(--t, 1); }
.sticky.shrunk .sk-ico:hover .sk-dot { box-shadow: 0 0 0 calc(1px / var(--s, 1)) var(--surface-solid), 0 0 0 calc(3px / var(--s, 1)) color-mix(in srgb, var(--note-icon) 45%, transparent); }
/* attached to a declaration (the owner's decisions, 2026-10-12): a thin dashed leader from the icon
   toward the declaration's point, ending in a small diamond on the point's rim, in the note accent;
   web/src/sticky.ts scales the line's width and the diamond as the icon turns into its dot */
.sk-dlead {
  position: absolute; left: 0; top: 0; z-index: 1; height: 0; transform-origin: 0 0; pointer-events: none;
  border-top: 1.5px dashed color-mix(in srgb, var(--note-icon) 85%, transparent);
}
.sk-dmark {
  position: absolute; left: -2.5px; top: -2.5px; z-index: 1; width: 5px; height: 5px; pointer-events: none;
  background: var(--note-icon); box-shadow: 0 0 0 1px var(--surface-solid);
}
.sticky:not(.attached) .sk-dlead, .sticky:not(.attached) .sk-dmark { display: none; }
/* the pointer's target, over the declarations under it */
.sk-ico:hover { box-shadow: 0 0 0 4px color-mix(in srgb, var(--note-icon) 24%, transparent), 0 1px 2px rgba(0, 0, 0, 0.22); }
/* expanded, its card hidden by the zoom: a click on the icon brings it near enough to read */
.sticky.auto .sk-ico { background: color-mix(in srgb, var(--note-icon) 18%, var(--surface-solid)); }
/* a note that carries more than one thing: how many, on its icon's lower right */
.sk-count {
  position: absolute; right: -6px; bottom: -6px; box-sizing: border-box; min-width: 14px; height: 14px; padding: 0 3px; border-radius: 7px;
  display: grid; place-items: center; font: 700 9px/1 var(--font); font-variant-numeric: tabular-nums; color: var(--note-icon);
  background: var(--surface-solid); box-shadow: 0 0 0 1px var(--note-icon);
}
.sk-lead {
  position: absolute; left: 0; top: 0; z-index: 1; height: 0; transform-origin: 0 0; pointer-events: none;
  border-top: 1.2px solid color-mix(in srgb, var(--note-icon) 75%, transparent);
}
.sticky.vnote .sk-lead { border-top-style: dashed; }
.sk-card {
  position: absolute; left: 0; top: 0; z-index: 3; pointer-events: auto; user-select: none; touch-action: none; cursor: default;
  width: max-content; max-width: 260px; padding: 7px 10px 6px 12px; border-radius: 8px;
  background: var(--note-bg); box-shadow: inset 2px 0 0 var(--note-icon), 0 0 0 1px var(--note-edge), var(--shadow);
}
.sticky:not(.open) .sk-card, .sticky:not(.open) .sk-lead { display: none; }
/* a long text scrolls in the card (the owner's decision of 2026-10-12): the wheel, a trackpad's two
   fingers (web/src/sticky.ts, wheelGoes), its scrollbar and, where it is longer than the card shows,
   a finger; its ends never pass the scroll on */
.sk-text { white-space: pre-wrap; overflow-wrap: anywhere; max-height: 260px; overflow: auto; overscroll-behavior: contain; }
.sk-text.scrolls { touch-action: pan-y; }
.sk-text code { font: 11.5px var(--mono); background: var(--code-bg); padding: 0 3px; border-radius: 4px; }
.sk-text .tk-pre { margin: 4px 0; white-space: pre-wrap; font: 11.5px var(--mono); }
.sk-text .tk-decl { color: var(--accent); cursor: pointer; }
.sk-by { margin-top: 4px; font-size: 11px; color: var(--note-mute); display: flex; align-items: center; gap: 3px; }
/* what a note carries (AttachmentSpec decision 12): under its text, at the card's width — 320 px
   where it carries an image or a clip, 260 px where it carries whole papers alone (sticky.ts,
   CARRY_W); each drawing as large as it is drawn and no larger, its shape kept, never stretched */
.sticky.carrying .sk-card { width: 260px; max-width: none; }
.sticky.carrying.pictured .sk-card { width: 320px; }
.sk-carries { display: flex; flex-direction: column; gap: 6px; margin-top: 6px; }
.sk-att {
  position: relative; display: block; width: 100%; padding: 0; border: 0; border-radius: 6px; overflow: hidden; cursor: zoom-in;
  background: var(--canvas); box-shadow: 0 0 0 1px var(--note-edge); color: inherit; font: inherit; text-align: left;
}
.sk-att:hover { box-shadow: 0 0 0 1.5px var(--note-icon); }
.sk-att-pic { display: block; max-width: 100%; max-height: 240px; width: auto; height: auto; margin: 0 auto; background: #fff; }
.sk-att-clip .sk-att-pic { max-height: 260px; }
.sk-att-cap { display: block; padding: 2px 7px 3px; font-size: 11px; color: var(--note-mute); white-space: nowrap; overflow: hidden; text-overflow: ellipsis; border-top: 1px solid var(--note-edge); }
.sk-att-pdf { display: flex; align-items: flex-start; gap: 8px; padding: 5px; }
.sk-att-page { flex: none; width: 64px; height: auto; max-height: 96px; object-fit: contain; object-position: top; background: #fff; box-shadow: 0 0 0 1px var(--note-edge); border-radius: 2px; }
.sk-att-t { display: flex; flex-direction: column; gap: 2px; min-width: 0; }
.sk-att-title { font-weight: 600; font-size: 12px; line-height: 1.3; overflow-wrap: anywhere; display: -webkit-box; -webkit-line-clamp: 4; -webkit-box-orient: vertical; overflow: hidden; }
.sk-att-meta { font-size: 11px; color: var(--note-mute); }
.sk-att.arch { opacity: 0.72; }
.sk-att-arch { position: absolute; top: 4px; right: 4px; padding: 0 6px; border-radius: 6px; font-size: 10.5px; background: var(--surface-solid); color: var(--banner-warn); box-shadow: 0 0 0 1px var(--note-edge); }
.sk-att-pdf .sk-att-arch { position: static; align-self: flex-start; }
.sk-att-none, .sk-att-why { display: block; padding: 6px 8px; font-size: 11.5px; color: var(--note-mute); cursor: default; white-space: normal; }
.sk-att-none code { font: 11px var(--mono); }
.sk-att.failed { cursor: default; }
/* moved: the icon with its card, the icon over everything so that it stays in sight; or the card
   alone on its leader */
.sticky.moving .sk-ico { z-index: 69; cursor: grabbing; box-shadow: 0 0 0 4px color-mix(in srgb, var(--note-icon) 24%, transparent), var(--shadow-lg); }
.sticky.moving .sk-card { opacity: 0.88; }
.sticky.hanging .sk-card { cursor: grabbing; box-shadow: inset 2px 0 0 var(--note-icon), 0 0 0 1px var(--note-edge), var(--shadow-lg); }
.sticky.fresh .sk-ico, .sticky.fresh .sk-card { animation: sk-fresh 1.4s ease-out; }
@keyframes sk-fresh { 0%, 30% { box-shadow: 0 0 0 1px var(--note-edge), 0 0 0 5px color-mix(in srgb, var(--note-icon) 45%, transparent), var(--shadow); } }
/* a view's own note (AttachmentSpec decision 14): drawn apart from the project's, a dashed ring and
   edge in the accent colour, and the view's mark, a tab, under its text */
.sticky.vnote .sk-card { box-shadow: var(--shadow); outline: 1.2px dashed color-mix(in srgb, var(--note-icon) 75%, transparent); outline-offset: -1.2px; border-radius: 10px; }
.sticky.vnote.hanging .sk-card { box-shadow: var(--shadow-lg); }
.sk-view { width: 12px; height: 12px; flex: none; color: var(--note-icon); }
.sk-whose { margin-top: 2px; font-size: 11px; color: var(--note-mute); display: flex; align-items: center; gap: 3px; }
/* a note on the ring around the board (decision 16): what it is about is lit while the pointer is on
   it, on this layer under the notes */
.sticky.ring:hover .sk-card { box-shadow: 0 0 0 1px var(--note-icon), var(--shadow); }
.sticky.vnote.ring:hover .sk-card { box-shadow: var(--shadow); }
/* what would hold a dragged note, over the cards so that a declaration or a circle under one still
   shows, under the icon dragged */
.sticky-halo { position: absolute; inset: 0; z-index: 68; width: 100%; height: 100%; pointer-events: none; }
/* a folded cluster that holds notes: how many, on its disc, among the icons, under the cards */
.sticky-mark {
  position: absolute; left: 0; top: 0; z-index: 2; pointer-events: auto; display: flex; align-items: center; gap: 2px; height: 20px; padding: 0 6px 0 3px;
  border: 0; border-radius: 10px; background: var(--note-bg); color: var(--note-text); font: 600 11px var(--font);
  box-shadow: 0 0 0 1px var(--note-edge), var(--shadow);
}
.sticky-mark .sk-icon { width: 13px; height: 13px; }
/* writing or editing a note */
.sticky-editor {
  /* above the floating windows and the popovers, below the canvas's menu: a note is written from the
     paper's window too */
  position: fixed; left: 0; top: 0; pointer-events: auto; display: flex; flex-direction: column; gap: 6px; width: 300px; padding: 8px 10px 8px;
  border-radius: 10px; background: var(--note-bg); color: var(--note-text); box-shadow: 0 0 0 1px var(--note-edge), var(--shadow-lg); z-index: 37;
}
.sk-ed-h { display: flex; align-items: center; gap: 5px; font-size: 11.5px; font-weight: 600; color: var(--note-mute); }
.sticky-editor textarea {
  resize: vertical; min-height: 90px; padding: 6px 8px; border: 1px solid var(--line); border-radius: 7px; background: var(--canvas); color: var(--text); font: 12.5px/1.45 var(--font);
}
.sticky-editor textarea:focus { outline: 2px solid color-mix(in srgb, var(--accent) 45%, transparent); }
.sk-ed-err { color: var(--bad); font-size: 11.5px; }
.sk-ed-f { display: flex; align-items: center; justify-content: space-between; gap: 8px; font-size: 11px; }
.sk-ed-f .muted { color: var(--note-mute); }

/* the canvas's menu (web/src/ctxmenu.ts): what can be done with what it was opened on, over
   everything but the modal windows, a submenu beside it */
#ctxmenu {
  position: fixed; z-index: 38; min-width: 210px; max-width: min(320px, calc(100vw - 16px)); padding: 4px; border-radius: 12px;
  background: color-mix(in srgb, var(--surface-solid) 94%, transparent); box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
  font-size: 12.5px; outline: none;
}
.cm-h {
  padding: 4px 8px 5px; font-size: 11px; font-weight: 600; color: var(--text-2); overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
.cm-item {
  display: flex; align-items: center; gap: 12px; width: 100%; height: 28px; padding: 0 8px; border: 0; border-radius: 7px;
  background: transparent; color: var(--text); font: 12.5px var(--font); text-align: left;
}
.cm-item:hover:not(:disabled), .cm-item:focus-visible, .cm-item:focus:not(:disabled), .cm-item[aria-expanded="true"] { background: var(--code-bg); color: var(--accent); outline: none; }
.cm-item:disabled { color: var(--text-3); cursor: default; }
.cm-l { flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.cm-key { font: 10.5px var(--mono); color: var(--text-3); }
.cm-note { font-size: 11px; color: var(--text-3); }
.cm-more { color: var(--text-3); font-size: 10px; }
.cm-sep { height: 1px; margin: 3px 6px; background: var(--line); }
.cm-sub {
  position: absolute; min-width: 190px; max-width: 300px; max-height: calc(100vh - 16px); overflow: auto; padding: 4px; border-radius: 12px;
  background: color-mix(in srgb, var(--surface-solid) 96%, transparent); box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
.cm-ask { display: flex; flex-direction: column; gap: 8px; padding: 4px 6px 6px; width: 260px; }
.zoom-sep { height: 1px; margin: 2px 5px; background: var(--line); }

/* ---------------------------------------------------------------- footer, tooltip, loader */

/* the legend (web/src/legend.ts): at the bottom left of the canvas, beside the side panel; folded to
   a chip, open to a card that grows upwards */
#foot {
  position: fixed; left: 284px; bottom: 12px; z-index: 6; display: flex; align-items: flex-end;
  color: var(--text-2); font-size: 11.5px; pointer-events: none;
}
#legend { pointer-events: auto; }
.lg-chip {
  display: inline-flex; align-items: center; gap: 6px; height: 26px; padding: 0 8px 0 9px; border-radius: 999px;
  border: 0.5px solid var(--line); background: var(--surface); color: var(--text);
  backdrop-filter: saturate(180%) blur(16px); -webkit-backdrop-filter: saturate(180%) blur(16px);
  box-shadow: 0 1px 2px rgba(0, 0, 0, 0.06); font: 500 12px var(--font); white-space: nowrap;
}
.lg-chip:hover { border-color: color-mix(in srgb, var(--accent) 45%, var(--line)); }
/* the scheme's swatch: the kinds' colours round a dot, or a pie of the board's review */
.lg-swatch { width: 10px; height: 10px; border-radius: 50%; flex: none; }
.lg-swatch.lg-kind {
  background: conic-gradient(var(--k-def) 0 20%, var(--k-structure) 0 40%, var(--k-instance) 0 60%, var(--k-theorem) 0 80%, var(--k-axiom) 0);
}
.lg-chip-n { color: var(--text-2); font-variant-numeric: tabular-nums; font-size: 11.5px; }
.lg-chev { color: var(--text-3); font-size: 10px; }
.lg-card {
  display: flex; flex-direction: column; gap: 6px; width: 228px; padding: 8px 10px 9px; border-radius: 14px;
  background: var(--surface); backdrop-filter: saturate(180%) blur(22px); -webkit-backdrop-filter: saturate(180%) blur(22px);
  border: 0.5px solid var(--line); box-shadow: var(--shadow);
}
.lg-head { display: flex; align-items: center; justify-content: space-between; gap: 8px; }
.lg-x { border: 0; background: transparent; color: var(--text-3); width: 22px; height: 22px; border-radius: 6px; font-size: 10px; }
.lg-x:hover { background: var(--code-bg); color: var(--text); }
.lg-rows { display: flex; flex-direction: column; gap: 1px; }
.lg-row { display: grid; grid-template-columns: 10px minmax(0, 1fr) auto; align-items: center; gap: 7px; padding: 1px 2px; color: var(--text); font-size: 12px; }
.lg-row .dot { width: 9px; height: 9px; }
.lg-row.none { color: var(--text-3); }
.lg-name { overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.lg-n { color: var(--text-2); font-variant-numeric: tabular-nums; font-size: 11.5px; }
.lg-row.none .lg-n { color: var(--text-3); }
/* by status, the board's progress, in the scheme's own colours */
.lg-prog { display: flex; flex-direction: column; gap: 3px; color: var(--text-2); font-size: 11.5px; }
.lg-prog .rv-bar i.ok { background: var(--status-approved); }
.lg-prog .rv-bar i.commented { background: var(--status-commented); }
.lg-prog .rv-bar i.stale { background: var(--status-stale); }
.lg-edge { display: flex; align-items: center; gap: 6px; padding-top: 5px; border-top: 1px solid var(--line); color: var(--text-2); }
.edge-key { width: 26px; height: 3px; border-radius: 2px; background: linear-gradient(90deg, var(--edge-from), var(--edge-to)); }
/* the key graph's edges under Keys: dashed, as the canvas draws them */
.edge-key.dashed {
  -webkit-mask: repeating-linear-gradient(90deg, #000 0 6px, transparent 6px 10px); mask: repeating-linear-gradient(90deg, #000 0 6px, transparent 6px 10px);
}
.lg-edge + .lg-edge { border-top: 0; padding-top: 2px; }
.lg-keys { flex-direction: column; align-items: flex-start; gap: 1px; }
.lg-keys-l { display: flex; align-items: center; gap: 6px; }
.lg-keys-n { color: var(--text-3); font-size: 11px; }

.tip {
  position: fixed; left: 0; top: 0; z-index: 20; pointer-events: none; display: flex; align-items: center; gap: 6px;
  background: var(--surface-solid); border-radius: 8px; padding: 4px 9px; box-shadow: var(--shadow);
  font: 11.5px var(--mono); max-width: 520px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis;
}

.meter {
  position: fixed; right: 12px; top: 108px; z-index: 20; font: 11px var(--mono); color: var(--text-2);
  background: var(--surface); border-radius: 8px; padding: 4px 8px; pointer-events: none;
}
.tk-keyword { color: var(--tk-keyword); font-weight: 600; }
.tk-type { color: var(--tk-type); }
.tk-comment, .tk-doc { color: var(--tk-comment); font-style: italic; }
.tk-string { color: var(--tk-string); }
.tk-number { color: var(--tk-number); }
.tk-attr { color: var(--tk-attr); }
.tk-op { color: var(--tk-op); }
.tk-sorry { color: #fff; background: #ff375f; border-radius: 3px; padding: 0 2px; }

#loader {
  position: fixed; inset: 0; z-index: 50; display: grid; place-items: center; background: var(--canvas);
  transition: opacity 0.4s;
}
#loader.gone { opacity: 0; pointer-events: none; }
.loader-box { text-align: center; max-width: 640px; padding: 16px; }
.logo.big { font-size: 40px; display: inline-block; margin-bottom: 8px; }
#loader-title { color: var(--text-2); margin-bottom: 14px; }
#loader-log { text-align: left; color: var(--text-3); font: 11px/1.5 var(--mono); white-space: pre-wrap; min-height: 9em; }


@media (max-width: 900px) {
  #side { display: none; }
  .light-l { display: none; }
  #lightup button { padding: 5px 8px; }
  #lightup .steps button { padding: 2px 6px; }
  #panel { width: auto; left: 12px; }
  #foot { left: 12px; }
  .seg button { padding: 5px 8px; }
  #search { width: 140px; }
  .brand .project { display: none; }
}

/* ---------------------------------------------------------------- the Time Machine */

/* its bar takes the tabs' place while it is open (HistorySpec decision 16) */
body.tm #tabs, body.tm .views-wrap, body.tm .vb-gap, body.tm .light-l { display: none; }
#tmbar {
  flex: 1 1 auto; min-width: 0; display: flex; align-items: center; gap: 10px; height: 36px;
  padding: 0 4px 0 10px; border-radius: 12px; overflow: hidden;
}
.tm-icon, .tab-clock, #tm-kept > svg { display: inline-grid; place-items: center; flex: none; color: var(--accent); }
.tm-icon svg, .tab-clock svg, #tm-kept > svg { fill: none; stroke: currentColor; stroke-width: 1.7; stroke-linecap: round; stroke-linejoin: round; }
.tab-clock { margin-right: -1px; }
.vm-name .tab-clock { margin-right: 4px; vertical-align: -1px; }
.tm-view { flex: none; max-width: 130px; font-weight: 600; font-size: 12.5px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.tm-line { flex: none; cursor: pointer; touch-action: none; border-radius: 6px; }
.tm-line:focus-visible { outline: 2px solid color-mix(in srgb, var(--accent) 50%, transparent); outline-offset: 1px; }
.tm-line svg { display: block; }
/* a ruler whose builds do not all fit scrolls: its ends fade where there are builds beyond them */
.tm-line.more-l { -webkit-mask-image: linear-gradient(to right, transparent, #000 12px); mask-image: linear-gradient(to right, transparent, #000 12px); }
.tm-line.more-r { -webkit-mask-image: linear-gradient(to left, transparent, #000 12px); mask-image: linear-gradient(to left, transparent, #000 12px); }
.tm-line.more-l.more-r { -webkit-mask-image: linear-gradient(to right, transparent, #000 12px, #000 calc(100% - 12px), transparent); mask-image: linear-gradient(to right, transparent, #000 12px, #000 calc(100% - 12px), transparent); }
.tm-axis { stroke: var(--text-3); stroke-width: 1.2; opacity: 0.7; }
/* a tick per build, a step apart (the owner's decision of 2026-10-10): long for the first build of a
   commit, short for the same commit built again */
.tm-tick { stroke: var(--text-2); stroke-width: 1.3; stroke-linecap: round; }
.tm-tick.major { stroke-width: 1.7; }
.tm-tick.on { stroke: var(--accent); stroke-width: 2.6; }
/* a build whose time only its extraction says: hollow */
.tm-tick.approx { stroke-dasharray: 2 2; }
.tm-tick-o { fill: var(--surface-solid); stroke: var(--text-2); stroke-width: 1.2; }
.tm-mark { fill: var(--accent); }
/* what each build is, under the pointer: an invisible step around its tick */
.tm-hit { fill: transparent; }
/* the build aimed at while it loads, the board showing the strong tick meanwhile: once it has been
   loading a moment (#tmbar.busy; a quick one never blinks), its tick tall and dashed, the handle
   hollow, a ring turning on it, a spinner by its time. The turns keep their phase across redraws. */
.tm-busy { fill: none; stroke: var(--accent); stroke-width: 1.6; stroke-linecap: round; stroke-dasharray: 9 22.4; transform-box: fill-box; transform-origin: center; visibility: hidden; }
#tmbar.busy .tm-busy { visibility: visible; animation: tm-spin 900ms linear infinite; }
#tmbar.busy .tm-tick.aim { stroke: var(--accent); stroke-width: 1.8; stroke-dasharray: 3 2; }
#tmbar.busy .tm-mark.aim { fill: var(--surface-solid); stroke: var(--accent); stroke-width: 1.4; }
.tm-wait:not(.tm-failed) { display: none; }
#tmbar.busy .tm-wait { display: inline; }
.tm-wait.tm-failed { color: var(--tm-gone); font-style: normal; }
.tm-spin { display: inline-block; width: 9px; height: 9px; margin-right: 4px; vertical-align: -1px; box-sizing: border-box; border: 1.5px solid color-mix(in srgb, var(--accent) 28%, transparent); border-top-color: var(--accent); border-radius: 50%; animation: tm-spin 900ms linear infinite; }
@keyframes tm-spin { to { transform: rotate(360deg); } }
@media (prefers-reduced-motion: reduce) { #tmbar.busy .tm-busy, .tm-spin { animation: none; } }
.tm-when { flex: none; font-size: 12px; white-space: nowrap; color: var(--text); }
.tm-when .mono { font: 11.5px var(--mono); color: var(--text-2); }
.tm-latest { font-size: 10.5px; padding: 1px 6px; border-radius: 6px; background: var(--code-bg); color: var(--text-2); }
.tm-wait { color: var(--text-3); font-style: italic; }
.tm-sum { flex: 0 1 auto; display: flex; align-items: center; gap: 4px; min-width: 0; overflow: hidden; font-size: 12px; white-space: nowrap; }
.tm-n {
  flex: none; display: inline-flex; align-items: center; gap: 5px; height: 24px; padding: 0 8px; border-radius: 8px;
  border: 1px solid var(--line); background: var(--surface-solid); color: var(--text); font: 500 11.5px var(--font); white-space: nowrap;
}
.tm-w { color: var(--text-2); }
.tm-n:hover:not(:disabled), .tm-n.on { border-color: color-mix(in srgb, var(--accent) 60%, var(--line)); color: var(--accent); }
.tm-n.none { color: var(--text-3); cursor: default; }
.tm-n i { flex: none; width: 8px; height: 8px; border-radius: 50%; box-sizing: border-box; }
.tm-added i { border: 1.5px solid var(--tm-new); background: color-mix(in srgb, var(--tm-new) 18%, transparent); }
.tm-removed i { border: 1.5px solid var(--tm-gone); background: color-mix(in srgb, var(--tm-gone) 25%, transparent); }
.tm-changed i { background: var(--text-3); box-shadow: 0 0 0 1.5px var(--surface-solid), 0 0 0 3px var(--tm-changed); width: 6px; height: 6px; margin: 0 1px; }
.tm-renamed i { background: var(--text-3); box-shadow: 0 0 0 1.5px var(--surface-solid), 0 0 0 3px var(--tm-renamed); width: 6px; height: 6px; margin: 0 1px; }
.tm-growth { flex: none; }
.tm-growth svg { display: block; }
.tm-growth-l { fill: none; stroke: var(--accent); stroke-width: 1.5; stroke-linejoin: round; opacity: 0.75; }
.tm-growth-d { fill: var(--accent); stroke: var(--surface-solid); stroke-width: 1.2; }
.tm-acts { flex: none; display: flex; gap: 4px; margin-left: auto; }
.tm-btn {
  height: 26px; padding: 0 10px; border-radius: 8px; border: 1px solid var(--line); background: var(--surface-solid);
  color: var(--text); font: 500 12px var(--font); white-space: nowrap;
}
.tm-btn:hover:not(:disabled) { border-color: var(--accent); color: var(--accent); }
.tm-btn:disabled { color: var(--text-3); cursor: default; }
.tm-x { flex: none; display: grid; place-items: center; width: 28px; height: 28px; border: 0; border-radius: 8px; background: transparent; color: var(--text-2); font-size: 14px; }
.tm-x:hover { background: var(--code-bg); color: var(--text); }
/* the lists the counts open */
#tm-list {
  position: fixed; z-index: 36; max-height: min(60vh, 520px); overflow: auto; border-radius: 14px; padding: 8px;
  background: color-mix(in srgb, var(--surface-solid) 94%, transparent); box-shadow: 0 0 0 1px var(--line), var(--shadow-lg);
}
.tm-list-h { display: flex; align-items: center; gap: 6px; padding: 2px 4px 6px; font-size: 12.5px; }
.tm-list-h .icon { margin-left: auto; flex: none; }
.tm-row {
  display: block; width: 100%; text-align: left; border: 0; background: transparent; padding: 3px 6px; border-radius: 6px;
  font-size: 11.5px; color: var(--text); overflow: hidden; text-overflow: ellipsis; white-space: nowrap;
}
button.tm-row:hover { background: var(--code-bg); }
/* what was added since: a name, not a place on this build's board */
span.tm-row { color: var(--text-2); cursor: default; }
.tm-more { padding: 6px; font-size: 11.5px; }
/* a view kept at a past build (HistorySpec decision 19): said where the review strip goes */
#tm-kept {
  position: fixed; top: 110px; left: calc((100vw + var(--inset-left, 0px) - var(--inset-right, 0px)) / 2); transform: translateX(-50%); z-index: 15;
  display: flex; align-items: center; gap: 8px; padding: 5px 6px 5px 12px; border-radius: 12px; font-size: 12.5px;
  max-width: calc(100vw - var(--inset-left, 0px) - var(--inset-right, 0px) - 16px); white-space: nowrap;
}
#tm-kept > span { overflow: hidden; text-overflow: ellipsis; min-width: 0; }
#tm-kept .mono { font: 11.5px var(--mono); color: var(--text-2); }
/* the build a past board shows, in the panel and in a source window showing its text */
.banner.tm-then, .banner.sw-then { background: color-mix(in srgb, var(--accent) 10%, transparent); color: var(--text); }
.tm-then-m { margin-top: 4px; color: var(--text-2); }
.banner.tm-then code { overflow-wrap: anywhere; }
.tip-st.tip-tm { color: var(--accent); }
.card-tm { margin-top: 1px; font-size: 10.5px; color: var(--text-2); white-space: nowrap; }
.card.gone .card-name { text-decoration: line-through; text-decoration-color: var(--tm-gone); }
/* short of room, the signed counts say what they are by their sign, and the others keep their word */
@media (max-width: 1750px) { .tm-w.signed { display: none; } }
@media (max-width: 1500px) { .tm-when .mono { display: none; } }
@media (max-width: 1350px) { .tm-growth, .tm-w { display: none; } }
@media (max-width: 1150px) { .tm-view { display: none; } .tm-n { padding: 0 6px; } }
@media (max-width: 900px) { .tm-btn[data-tm-save] { display: none; } }

/* ---------------------------------------------------------------- a phone (PhoneSpec)

   At most 640 px wide: a page for reading and reviewing (web/src/phone.ts). The bar keeps Back, the
   project's name, search and ⋯, which holds the modes and the rest; the side panel is a drawer from
   ☰; the panel is a sheet from the bottom, the board above it. */
.more-wrap, .side-btn, .side-back { display: none; }
@media (max-width: 640px) {
  /* over the sheet, which stops under it at its tallest, so that what opens from the bar (⋯, the
     search's results, Share) opens over the sheet too */
  #bar { top: 8px; left: 8px; right: 8px; height: 44px; gap: 6px; padding: 0 6px 0 4px; z-index: 31; }
  #bar .right { gap: 4px; }
  #nav-fwd, .brand .logo { display: none; }
  .brand { align-items: center; gap: 6px; }
  .brand .project { display: inline; font-weight: 600; font-size: 15px; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
  #share-btn, #library-btn, #export-btn, #activity-btn, #who, #help-btn { display: none !important; }
  .more-wrap { display: block; position: relative; }
  #more-btn { width: 38px; height: 34px; }
  #more-badge { position: absolute; top: -5px; right: -5px; }
  #more-pop { position: fixed; top: 58px; right: 8px; width: min(260px, calc(100vw - 16px)); z-index: 46; border-radius: 14px; padding: 6px; display: flex; flex-direction: column; background: var(--surface-solid); box-shadow: 0 0 0 0.5px var(--line), var(--shadow-lg); }
  #more-pop[hidden] { display: none; }
  .more-item { display: flex; align-items: center; gap: 10px; min-height: 44px; padding: 0 12px; border: 0; border-radius: 10px; background: none; color: var(--text); font: 15px var(--font); text-align: left; }
  .more-item:active { background: var(--code-bg); }
  .more-item svg { flex: none; width: 18px; height: 18px; color: var(--text-2); fill: none; stroke: currentColor; stroke-width: 1.6; stroke-linecap: round; stroke-linejoin: round; }
  .more-item .act-badge { position: static; margin-left: auto; }
  /* the modes, at the top of ⋯: each with what a tap selects under its name, the one in use ticked */
  #more-pop { max-height: calc(100dvh - 70px); overflow-y: auto; }
  .more-h { padding: 6px 12px 2px; font-size: 12px; font-weight: 600; color: var(--text-2); }
  .more-sub { padding: 6px 12px 0 36px; font-size: 12px; color: var(--text-2); }
  .more-mode { gap: 6px; padding: 4px 12px; }
  .more-mode.step { padding-left: 28px; }
  .more-mode.on { color: var(--accent); }
  .more-tick { flex: none; width: 16px; text-align: center; font-weight: 700; }
  .more-l { display: flex; flex-direction: column; min-width: 0; line-height: 1.25; }
  .more-l small { font-size: 12px; color: var(--text-2); }
  .more-sep { height: 1px; margin: 6px 4px; background: var(--line); }
  /* search: a narrow field that takes the whole bar while it is used */
  #search { width: 92px; height: 34px; padding: 0 10px; }
  .search-wrap:focus-within { position: fixed; top: 8px; left: 8px; right: 8px; z-index: 45; }
  .search-wrap:focus-within #search { width: 100%; height: 44px; font-size: 16px; box-shadow: var(--shadow-lg); }
  #results { position: fixed; top: 58px; left: 8px; right: 8px; width: auto; max-height: calc(100dvh - 70px); }
  /* every popover of the bar and the view bar: a sheet under the bar, the screen's width */
  #share-pop, #library-pop, #who-menu, #peer-menu, #views-menu, #focus-menu {
    position: fixed !important; top: 58px !important; left: 8px !important; right: 8px !important; bottom: auto !important;
    width: auto !important; max-width: none !important; max-height: calc(100dvh - 70px); overflow: auto;
  }
  #viewbar { top: 58px; left: 8px; right: 8px; gap: 6px; }
  .side-btn { display: inline-flex; flex: none; width: 36px; justify-content: center; padding: 0; }
  #tabs { flex: 1 1 auto; min-width: 0; overflow-x: auto; scrollbar-width: none; }
  #tabs::-webkit-scrollbar { display: none; }
  .vb-gap, .light-l { display: none; }
  .focus-btn { max-width: 120px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
  /* the modes are in ⋯ */
  #lightup { display: none; }
  #zoom { right: 8px; bottom: calc(8px + env(safe-area-inset-bottom)); }
  /* ⋯ opens upwards from its box, at the right (the box's blur makes it the popover's frame) */
  #eyes-pop { right: 0; bottom: calc(100% + 8px); width: min(280px, calc(100vw - 16px)); min-width: 0; background: var(--surface-solid); }
  #zoom #eyes-pop button.eye { min-height: 40px; }
  /* no finger moves anything: the lock means nothing here */
  #lock-btn { display: none !important; }
  /* the help: gestures, as large as the screen allows */
  .help-box { width: calc(100vw - 16px); max-height: calc(100dvh - 32px); background: var(--surface-solid); }
  /* no keyboard: no keys beside the menus' items */
  #eyes-pop kbd { display: none; }
  .help-touch .help-row { grid-template-columns: 116px minmax(0, 1fr); font-size: 14px; padding: 5px 0; }
  .help-touch .help-g { color: var(--text); font-weight: 600; }
  #zoom #zoom-in, #zoom #zoom-out { display: none; }
  #foot { left: 8px; bottom: calc(8px + env(safe-area-inset-bottom)); }
  /* under the view bar, the review strip, then the selection bar (--strip-h: main.ts) */
  #lensbar, #tm-kept { top: 100px; left: 8px; right: 8px; transform: none; max-width: none; }
  #selbar { top: calc(100px + var(--strip-h, 0px)); left: 8px; right: 8px; width: auto; }
  /* the panel: a sheet from the bottom, its height the reader's to drag */
  #panel {
    top: auto; left: 0; right: 0; bottom: 0; width: auto; height: var(--sheet-h, 55dvh); max-height: calc(100dvh - 60px);
    border-radius: 18px 18px 0 0; padding: 26px 16px calc(24px + env(safe-area-inset-bottom)); z-index: 30;
    background: var(--surface-solid); box-shadow: 0 -1px 0 var(--line), 0 -8px 30px rgba(0, 0, 0, 0.12);
    transform: translateY(105%); transition: transform 0.32s cubic-bezier(0.2, 0.9, 0.25, 1), height 0.2s;
  }
  #panel.open { transform: none; }
  #panel::before { content: ""; position: sticky; top: -18px; display: block; width: 40px; height: 5px; margin: -18px auto 13px; border-radius: 3px; background: var(--text-3); opacity: 0.6; }
  /* the side panel: a drawer from the left, over a shade */
  body.side-open #side { display: flex; position: fixed; top: 0; left: 0; bottom: 0; width: min(320px, 86vw); border-radius: 0 16px 16px 0; z-index: 47; padding-top: env(safe-area-inset-top); background: var(--surface-solid); }
  body.side-open::after { content: ""; position: fixed; inset: 0; z-index: 46; background: rgba(0, 0, 0, 0.3); }
  /* ⚙ Board and Trusted: in the drawer's place, over it, with a way back */
  body.side-open .side-pop {
    left: 0 !important; top: 0 !important; bottom: 0 !important; right: auto !important; width: min(320px, 86vw) !important;
    height: auto !important; max-height: none !important; border-radius: 0 16px 16px 0; z-index: 48;
    background: var(--surface-solid); padding-top: calc(8px + env(safe-area-inset-top));
  }
  body.side-open .side-back {
    display: flex; align-items: center; gap: 4px; min-height: 40px; margin: 0 0 6px -6px; padding: 0 6px; border: 0;
    background: none; color: var(--accent); font: 600 15px var(--font);
  }
  .side-back svg { width: 18px; height: 18px; fill: none; stroke: currentColor; stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
  /* a field under 16 px makes iOS zoom the whole page into it */
  #panel textarea, #panel input, #share-pop input, #share-pop select, #who-menu input, #modal input, .sh-field input, .sh-field select { font-size: 16px; }
  /* nothing slides sideways: the page is the screen */
  html, body { overflow: hidden; overscroll-behavior: none; }
  #panel { overflow-x: hidden; overscroll-behavior: contain; }
  /* a source window: the whole screen, its title bar its name and a close */
  .sw-win:not(.collapsed) {
    left: 0 !important; top: 0 !important; right: 0 !important; bottom: 0 !important; width: auto !important; height: auto !important;
    max-width: none !important; max-height: none !important; min-width: 0 !important; min-height: 0 !important;
    border-radius: 0 !important; padding-top: env(safe-area-inset-top); padding-bottom: env(safe-area-inset-bottom); z-index: 48;
  }
  .sw-win .fl-rz, .sw-ns, .sw-loc, .sw-acts [data-sw-collapse], .sw-pin { display: none !important; }
  /* the menu: no keys beside its items */
  #ctxmenu .cm-key { display: none; }
  /* the tree in the drawer: a row a finger can hit, an arrow wide enough to open or fold a level;
     hiding a level arranges the board, which a phone does not */
  #outline .o-row { height: 40px; }
  #outline .o-row .tw { width: 32px; height: 40px; display: inline-flex; align-items: center; justify-content: center; font-size: 12px; margin-left: -8px; }
  #outline .o-hide { display: none; }
  /* the Time Machine: its line, the build and a way out; keeping a build or saving it as a view
     arranges the board, which a phone does not */
  body.tm .focus-wrap { display: none; }
  #tmbar { flex: 1 1 auto; gap: 6px; padding: 0 2px 0 8px; }
  #tmbar .tm-acts, #tmbar .tm-sum, #tmbar .tm-growth, #tmbar .tm-latest { display: none !important; }
  #tmbar .tm-x { flex: none; width: 36px; height: 34px; font-size: 16px; }
  .sw-head .sw-close { width: 40px; height: 40px; font-size: 20px; }
  /* a long name goes on over a second line, its end (what tells it from its neighbours) in sight;
     the buttons keep their place at the right */
  .sw-head { align-items: center; }
  .sw-name { flex: 1 1 auto; white-space: normal; overflow-wrap: anywhere; }
  .pw-win:not(.collapsed) { left: 4px !important; right: 4px !important; width: auto !important; }
  /* Activity and the lost-and-found: the whole screen, from the right */
  #activity, #lostfound {
    top: 0; left: 0; right: 0; bottom: 0; width: auto; border-radius: 0; z-index: 48;
    padding: calc(10px + env(safe-area-inset-top)) 16px calc(24px + env(safe-area-inset-bottom));
    background: var(--surface-solid); transform: translateX(100%);
  }
  .act-head .icon { width: 40px; height: 40px; font-size: 20px; }
}