:root{
    --bg:#ffffff; --bg-soft:#f7f8fa; --bg-softer:#fbfcfd;
    --ink:#1f2328; --ink-soft:#475059; --ink-faint:#6b757f;
    --line:#e3e7ec; --line-strong:#cdd4dc;
    --accent:#2456a6; --accent-dark:#173a73; --accent-soft:#eaf1fb;
    --good:#1f8a4c; --good-soft:#e9f6ee; --good-ink:#125c33;
    --warn:#8a5c08; --warn-soft:#fdf4e3;
    --err:#b3261e; --err-soft:#fdecec;
    --radius:10px; --radius-sm:6px;
    --shadow:0 1px 2px rgba(16,24,40,.04), 0 1px 3px rgba(16,24,40,.06);
    --shadow-lift:0 4px 14px rgba(16,24,40,.10);
    --sans:"Inter",-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Helvetica,Arial,sans-serif;
    --serif:"Source Serif 4",Georgia,"Times New Roman",serif;
    --mono:"JetBrains Mono","SFMono-Regular",Menlo,Consolas,monospace;
    /* Gate 11 design tokens (additive): spacing scale, pill radius, motion. */
    --space-1:4px; --space-2:8px; --space-3:12px; --space-4:16px; --space-6:24px; --space-8:32px;
    --radius-pill:999px;
    --motion-fast:.16s; --motion:.26s; --ease:cubic-bezier(.2,.7,.2,1);
  }
  /* Gate 11: app-wide reduced-motion guard. Neutralizes all animation and
     transition durations for users who request it (the scoped guard further
     down stays for the modal/backdrop specifics; this is the global floor). */
  @media (prefers-reduced-motion: reduce){
    *{animation-duration:.001ms !important; transition-duration:.001ms !important}
  }
  /* Gate 11: app-wide visible focus ring for keyboard navigation. */
  :focus-visible{outline:2px solid var(--accent);outline-offset:2px}
  :root[data-theme="dark"]{
    --bg:#0f1419;
    --ink:#e6edf3;
    --ink-soft:#aab4c0; --ink-faint:#8a96a3;
    --line:#243040; --line-strong:#33414f;
    --bg-soft:#161c24; --bg-softer:#1b222c;
  }
  :root[data-theme="solarized"]{
    /* Gate 11: --ink-faint was #93a1a1 (base1), only 2.48:1 on the cream bg -
       below the 3.0 AA floor for incidental/large text. Darkened to #788686
       (3.5:1) so faint labels (group titles, empties) stay legible. */
    /* Body --ink darkened from base00 #586e75 (4.99:1) to #4a5d64 (~6.1:1) for
       contrast headroom on the cream bg. */
    --bg:#fdf6e3; --ink:#4a5d64; --ink-soft:#5a6e74; --ink-faint:#788686;
    --line:#eee8d5; --line-strong:#ddd6c1; --bg-soft:#f5efdc; --bg-softer:#faf3df;
  }
  /* The whole app themes (cards, panels, nav, modals, tray, drawers all follow
     the themed :root vars). The ONLY light islands are the Plotly plot boxes:
     Plotly draws white paper with dark axes/labels, so each figure must sit on
     a light surround in every theme. We re-assert the light palette on just the
     figure box (not its surrounding card), per the design call. */
  .roots-fig, .viz-fig, .frieze-fig, .js-plotly-plot{
    --bg:#ffffff; --bg-soft:#f7f8fa; --bg-softer:#fbfcfd;
    --ink:#1f2328; --ink-soft:#475059; --ink-faint:#6b757f;
    --line:#e3e7ec; --line-strong:#cdd4dc;
    background:#ffffff; color:var(--ink);
  }
  /* Themed inputs: any field with no explicit background would fall back to the
     browser default (white bg / black text) and break on dark - pin them to the
     themed surface + ink. */
  input, textarea, select{background:var(--bg-soft); color:var(--ink)}
  :root[data-theme="dark"] .nav{background:rgba(15,20,25,.92)}
  :root[data-theme="solarized"] .nav{background:rgba(253,246,227,.92)}
  :root[data-theme="dark"] footer{background:var(--bg-soft)}
  /* The accent blue is tuned for light backgrounds; on the dark footer it
     drops below readable contrast, so brighten the on-background link. */
  :root[data-theme="dark"] footer a{color:#9bb8e8}
  .appearance-row{display:flex;gap:18px;margin-top:14px;flex-wrap:wrap;font-family:var(--sans)}
  .startup-create{display:flex;flex-direction:column;gap:14px;margin-top:8px}
  .startup-create input#cpName{font-family:var(--sans);font-size:1rem;padding:9px 11px;border:1px solid var(--line);border-radius:8px;background:var(--bg-soft);color:var(--ink)}
  /* Segmented theme/size preview controls (replaces the dropdowns). */
  .seg{display:flex;flex-direction:column;gap:6px}
  .seg-label{font-family:var(--sans);font-size:.7rem;font-weight:700;letter-spacing:.04em;
    text-transform:uppercase;color:var(--ink-faint)}
  .seg-btns{display:inline-flex;border:1px solid var(--line);border-radius:9px;overflow:hidden;background:var(--bg-soft);width:fit-content}
  .seg-opt{display:inline-flex;align-items:center;gap:7px;font-family:var(--sans);font-size:.85rem;
    font-weight:600;padding:8px 13px;border:0;border-right:1px solid var(--line);background:transparent;
    color:var(--ink-soft);cursor:pointer;transition:background var(--motion-fast) var(--ease),color var(--motion-fast) var(--ease)}
  .seg-opt:last-child{border-right:0}
  .seg-opt:hover{background:var(--bg-softer);color:var(--ink)}
  .seg-opt.sel{background:var(--accent);color:#fff}
  .seg-size{justify-content:center;min-width:42px}
  .seg-opt .sw{width:15px;height:15px;border-radius:4px;border:1px solid var(--line-strong);display:inline-block;flex:none}
  .seg-opt.sel .sw{border-color:rgba(255,255,255,.65)}
  .sw[data-sw="light"]{background:#ffffff}
  .sw[data-sw="dark"]{background:#0f1419}
  .sw[data-sw="solarized"]{background:#fdf6e3}
  .profile-empty{font-family:var(--sans);font-size:.85rem;color:var(--ink-faint);padding:8px 2px}
  .profile-del{margin-left:8px}
  .mini.danger{border-color:var(--err);color:var(--err)}
  *{box-sizing:border-box}
  html{scroll-behavior:smooth}
  body{margin:0;background:var(--bg);color:var(--ink);font-family:var(--sans);
    font-size:var(--ui-scale, 16px);line-height:1.6;-webkit-font-smoothing:antialiased}
  a{color:var(--accent);text-decoration:none}
  a:hover{text-decoration:underline}
  .nav{position:sticky;top:0;z-index:50;background:rgba(255,255,255,.92);
    backdrop-filter:saturate(150%) blur(8px);border-bottom:1px solid var(--line)}
  .nav-inner{max-width:1080px;margin:0 auto;padding:0 20px;display:flex;
    align-items:center;gap:14px;min-height:58px}
  .brand{display:flex;align-items:center;gap:10px;font-weight:700;
    letter-spacing:-.01em;color:var(--ink);cursor:pointer;background:none;border:0;
    font-size:16px;font-family:inherit;padding:0}
  .brand .mark{display:inline-grid;place-items:center;width:30px;height:30px;
    border-radius:8px;background:var(--accent);color:#fff;font-family:var(--serif);
    font-style:italic;font-weight:600;font-size:18px}
  .brand .mark sub{font-size:10px;font-style:normal}
  .nav-spacer{flex:1}
  .nav-saved{font-family:var(--sans);font-size:13.5px;font-weight:600;
    color:var(--ink-soft);background:var(--bg-soft);border:1px solid var(--line);
    border-radius:999px;padding:5px 13px;cursor:pointer}
  .nav-saved:hover{border-color:var(--accent);color:var(--accent)}
  .wrap{max-width:1320px;margin:0 auto;padding:30px 20px 80px}
  /* The per-op view is text-heavy (form + result reading column); keep it at a
     comfortable reading width even though the shared container is now wider. */
  #opView{max-width:960px;margin-left:auto;margin-right:auto}

  .page-head{margin-bottom:22px}
  .eyebrow{display:inline-block;font-size:12.5px;font-weight:600;letter-spacing:.05em;
    text-transform:uppercase;color:var(--accent);margin-bottom:8px}
  h1{font-family:var(--sans);font-weight:700;letter-spacing:-.02em;
    font-size:1.95rem;line-height:1.15;margin:0 0 .35em}
  .lede{font-family:var(--serif);font-size:1.12rem;color:var(--ink-soft);
    margin:0;max-width:64ch}
  .lede + .lede{margin-top:10px}
  .lede-sub{font-family:var(--sans);font-size:.92rem;color:var(--ink-faint);
    max-width:60ch}
  .nav-gh{text-decoration:none;display:inline-flex;align-items:center}

  .group-block{margin:18px 0}
  .group-block > .card-grid{margin-top:12px}
  .group-title{font-family:var(--sans);font-weight:700;font-size:.9rem;
    letter-spacing:.01em;text-transform:none;color:var(--ink);
    padding:10px 4px 10px 0;border-bottom:1px solid var(--line-strong);
    cursor:pointer;list-style:none;display:flex;flex-wrap:wrap;align-items:baseline;
    gap:4px 12px}
  .group-title::-webkit-details-marker{display:none}
  .group-title::before{content:"\25B8";display:inline-block;color:var(--ink-faint);
    font-size:.85em;transition:transform var(--motion-fast);margin-right:2px}
  .group-block[open] > .group-title::before{transform:rotate(90deg)}
  .group-title .gt-name{font-weight:700;font-size:.85rem;letter-spacing:.04em;
    text-transform:uppercase;color:var(--ink)}
  .group-title .gt-blurb{font-family:var(--serif);font-size:.88rem;color:var(--ink-soft);
    flex:1 1 260px}
  .group-title .gt-count{font-size:.74rem;color:var(--ink-faint);white-space:nowrap;
    margin-left:auto}
  .home-browse-hint{font-family:var(--sans);font-size:.82rem;color:var(--ink-faint);
    margin:14px 0 4px}
  .card-grid{display:grid;grid-template-columns:repeat(auto-fill,minmax(232px,1fr));gap:12px}
  .op-card{display:flex;flex-direction:column;text-align:left;cursor:pointer;
    border:1px solid var(--line);border-radius:14px;background:var(--bg);
    padding:14px 16px;min-height:0;box-shadow:var(--shadow);font-family:inherit;
    transition:box-shadow var(--motion-fast),transform var(--motion-fast),border-color var(--motion-fast)}
  .op-card:hover{box-shadow:var(--shadow-lift);transform:translateY(-2px);
    border-color:var(--line-strong)}
  .op-card:focus-visible{outline:2px solid var(--accent);outline-offset:2px}
  .op-card .oc-name{font-family:var(--sans);font-size:1.06rem;font-weight:650;
    color:var(--ink);margin:0 0 5px}
  .op-card:hover .oc-name{color:var(--accent)}
  .op-card .oc-sym{display:inline-block;align-self:flex-start;color:var(--accent);
    background:var(--accent-soft);border:1px solid #cfe0f8;border-radius:9px;
    padding:7px 13px;margin-bottom:11px;max-width:100%;
    overflow-x:auto;overflow-y:hidden;white-space:nowrap;scrollbar-width:none}
  .op-card .oc-sym::-webkit-scrollbar{display:none}
  .op-card .oc-sym mjx-container{font-size:1.5em !important;color:var(--accent);
    margin:0 !important}
  .op-card .oc-blurb{font-size:.9rem;color:var(--ink-soft);line-height:1.5;margin:0;
    display:-webkit-box;-webkit-line-clamp:2;-webkit-box-orient:vertical;overflow:hidden}
  .page-head h1{font-size:1.7rem}
  .page-head .lede{max-width:62ch}

  /* sticky tool-finder: page chrome, reads themed vars (not a card) */
  .home-finder{position:sticky;top:58px;z-index:40;background:var(--bg);
    padding:12px 0;display:flex;flex-wrap:wrap;gap:10px;align-items:center;border-bottom:1px solid var(--line)}
  .home-finder input{flex:1 1 280px;font-family:var(--sans);font-size:1.05rem;padding:12px 16px;
    border:1.5px solid var(--line-strong);border-radius:11px;box-shadow:var(--shadow)}
  .home-finder input:focus{outline:none;border-color:var(--accent)}
  .group-jump{display:flex;flex-wrap:wrap;gap:6px}
  .chip{font-family:var(--sans);font-size:.78rem;font-weight:600;padding:5px 10px;border:1px solid var(--line);border-radius:999px;background:var(--bg-soft);color:var(--ink-soft);cursor:pointer}
  .chip:hover{border-color:var(--accent);color:var(--accent)}
  .chip-expand{border-color:var(--accent);color:var(--accent);background:var(--accent-soft)}

  .back{display:inline-flex;align-items:center;gap:7px;font-family:var(--sans);
    font-size:.9rem;font-weight:600;color:var(--ink-soft);background:none;border:0;
    cursor:pointer;padding:6px 0;margin-bottom:6px}
  .back:hover{color:var(--accent)}

  .op-layout{display:grid;grid-template-columns:minmax(0,360px) minmax(0,1fr);
    gap:26px;align-items:start;margin-top:10px}
  @media (max-width:820px){.op-layout{grid-template-columns:1fr}}

  .panel{background:var(--bg);border:1px solid var(--line);border-radius:14px;
    padding:20px;box-shadow:var(--shadow)}
  .panel h2{font-family:var(--sans);font-size:1.3rem;font-weight:700;margin:0 0 6px}
  .panel .psym{display:inline-block;color:var(--accent);background:var(--accent-soft);
    border:1px solid #cfe0f8;border-radius:10px;padding:8px 15px;margin:4px 0 14px;
    max-width:100%;overflow-x:auto;overflow-y:hidden;white-space:nowrap;
    scrollbar-width:none}
  .panel .psym::-webkit-scrollbar{display:none}
  .panel .psym mjx-container{font-size:1.9em !important;color:var(--accent);
    margin:0 !important}
  .panel .pblurb{font-size:.92rem;color:var(--ink-soft);margin:0 0 16px}

  .field{margin:0 0 14px}
  .field label{display:block;font-family:var(--sans);font-size:.78rem;font-weight:600;
    text-transform:uppercase;letter-spacing:.03em;color:var(--ink-faint);margin-bottom:5px}
  .field input,.field select{width:100%;font-family:var(--mono);font-size:.98rem;
    padding:9px 11px;border:1px solid var(--line-strong);border-radius:8px;
    background:var(--bg-soft);color:var(--ink)}
  .field select{font-family:var(--sans)}
  /* MathLive math input for the main expression fields */
  math-field{width:100%;font-size:19px;line-height:1.45;padding:9px 11px;
    border:1px solid var(--line-strong);border-radius:8px;background:var(--bg-soft);
    color:var(--ink);display:block;
    --primary:var(--accent);--selection-background-color:var(--accent-soft)}
  math-field:focus-within{border-color:var(--accent);
    box-shadow:0 0 0 3px var(--accent-soft);outline:none}
  .fallbackrow{display:flex;align-items:center;gap:10px;margin-top:6px}
  .field input.plain-fallback{margin-top:0}
  .linkbtn{background:none;border:0;color:var(--accent);font-size:12px;cursor:pointer;
    padding:0;font-family:var(--sans)}
  .linkbtn:hover{text-decoration:underline}
  .field input:focus,.field select:focus{outline:none;border-color:var(--accent);
    box-shadow:0 0 0 3px var(--accent-soft)}

  .preview-box{margin:4px 0 16px;padding:11px 13px;border:1px dashed var(--line-strong);
    border-radius:8px;background:var(--bg-softer);min-height:46px;
    display:flex;align-items:center}
  .preview-box .pv-label{font-family:var(--sans);font-size:.66rem;font-weight:700;
    letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);
    margin-right:10px;flex:none}
  .preview-box .pv-math{overflow-x:auto;overflow-y:hidden;color:var(--ink)}
  .preview-box .pv-math::-webkit-scrollbar{display:none}
  .preview-box .pv-math{scrollbar-width:none}
  .preview-box .pv-math mjx-container{margin:0 !important}

  .go{font-family:var(--sans);font-size:1rem;font-weight:600;width:100%;
    padding:11px 18px;border:0;border-radius:8px;background:var(--accent);color:#fff;
    cursor:pointer}
  .go:hover{background:var(--accent-dark)}
  .go:active{transform:translateY(1px)}

  .result{min-height:120px}
  .result .empty{color:var(--ink-faint);font-family:var(--serif);font-size:1rem;
    padding:30px 6px}
  .result .rlabel{font-family:var(--sans);font-size:.7rem;font-weight:700;
    letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint);margin:0 0 8px}
  .result .rmath{font-size:1.18rem;overflow-x:auto;overflow-y:hidden;
    padding:8px 0 4px;min-height:40px}
  .result .rmath mjx-container{margin:.2em 0 !important}
  .result-error{background:var(--err-soft);border:1px solid #f3c9c9;color:#9a2222;
    border-radius:8px;padding:12px 14px;font-size:.94rem}
  /* Gate 11: compute loading state (shown in #result while /compute is in flight). */
  .result-loading{display:flex;align-items:center;gap:10px;color:var(--ink-faint);
    font-family:var(--sans);padding:8px 0}
  .spinner{width:16px;height:16px;border:2px solid var(--line-strong);
    border-top-color:var(--accent);border-radius:50%;animation:spin .7s linear infinite}
  @keyframes spin{to{transform:rotate(360deg)}}
  .roots-plot{margin:0 0 14px}
  .roots-modes{display:flex;gap:8px;justify-content:center;margin:0 0 12px}
  .roots-fig{width:100%;max-width:560px;margin:0 auto;border:1px solid var(--line);
    border-radius:10px;background:var(--bg-softer);overflow:hidden}
  .roots-cap{font-family:var(--sans);font-size:.82rem;color:var(--ink-faint);
    text-align:center;margin:9px 0 0}
  .roots-plot-msg{font-family:var(--serif);color:var(--ink-faint);font-size:.95rem;
    text-align:center;padding:24px 6px}
  .viz-plot{margin:0 0 14px}
  .viz-fig{width:100%;max-width:680px;margin:0 auto;border:1px solid var(--line);
    border-radius:10px;background:var(--bg-softer);overflow:hidden}
  .viz-cap{font-family:var(--sans);font-size:.82rem;color:var(--ink-faint);
    text-align:center;margin:9px auto 0;max-width:600px}
  .frieze-plot{margin:0 0 14px}
  .frieze-modes{display:flex;gap:8px;justify-content:center;margin:0 0 12px}
  .frieze-fig{width:100%;border:1px solid var(--line);border-radius:10px;
    background:var(--bg-softer);overflow-x:auto;overflow-y:hidden}
  .frieze-fig .js-plotly-plot{margin:0 auto}
  .frieze-cap{font-family:var(--sans);font-size:.82rem;color:var(--ink-faint);
    text-align:center;margin:9px 0 0;line-height:1.5}
  .frieze-legend{display:flex;flex-wrap:wrap;gap:8px 18px;justify-content:center;
    margin-top:10px;font-family:var(--sans);font-size:.82rem;color:var(--ink-soft)}
  .frieze-legend .lg{display:inline-flex;align-items:center;gap:7px}
  .frieze-legend .sw{width:15px;height:13px;border-radius:4px;display:inline-block;
    border:1px solid var(--line-strong)}
  .frieze-legend .sw-one{background:#eef1f5}
  .frieze-legend .sw-quid{background:#dbe7fb}
  .frieze-legend .sw-int{background:#bcd3f5}
  dl.rows{display:grid;grid-template-columns:max-content 1fr;gap:7px 18px;
    margin:16px 0 0;font-family:var(--sans);font-size:.9rem;border-top:1px solid var(--line);
    padding-top:14px}
  dl.rows dt{color:var(--ink-faint);font-weight:600}
  dl.rows dd{margin:0;color:var(--ink);font-family:var(--mono);font-size:.85rem;
    overflow-x:auto;overflow-y:hidden;word-break:break-word}
  .rtext-wrap{margin-top:16px}
  .rtext-head{display:flex;align-items:center;gap:10px;margin-bottom:6px}
  .rtext-head .rlabel{margin:0}
  pre.rtext{font-family:var(--mono);font-size:.82rem;line-height:1.5;background:#f6f8fa;
    border:1px solid var(--line);border-radius:8px;padding:12px 14px;overflow-x:auto;
    margin:0;white-space:pre-wrap;word-break:break-word}
  .mini{font-family:var(--sans);font-size:.78rem;font-weight:600;padding:5px 11px;
    border:1px solid var(--line-strong);border-radius:7px;background:#fff;color:var(--ink-soft);
    cursor:pointer}
  .mini:hover{border-color:var(--accent);color:var(--accent);background:var(--accent-soft)}
  .mini.primary{background:var(--good);border-color:var(--good);color:#fff}
  .mini.primary:hover{background:var(--good-ink);border-color:var(--good-ink);color:#fff}
  .mini.danger:hover{border-color:#d99;color:#9a2222;background:var(--err-soft)}
  .result-actions{display:flex;flex-wrap:wrap;gap:9px;margin-top:18px;
    border-top:1px solid var(--line);padding-top:16px}

  .saved-panel{margin-top:30px}
  .saved-head{display:flex;align-items:baseline;gap:12px;margin-bottom:12px}
  .saved-head h2{font-family:var(--sans);font-size:1.2rem;font-weight:700;margin:0}
  .saved-head .count{font-size:.85rem;color:var(--ink-faint)}
  .saved-empty{font-family:var(--serif);color:var(--ink-faint);font-size:.98rem;
    padding:16px 0}
  table.saved{width:100%;border-collapse:collapse;font-size:.9rem}
  table.saved th{font-family:var(--sans);font-size:.7rem;text-transform:uppercase;
    letter-spacing:.04em;color:var(--ink-faint);font-weight:700;text-align:left;
    padding:8px 10px;border-bottom:2px solid var(--line-strong)}
  table.saved td{padding:9px 10px;border-bottom:1px solid var(--line);vertical-align:middle}
  table.saved tbody tr{cursor:pointer}
  table.saved tbody tr:hover{background:var(--bg-soft)}
  .saved-op{font-family:var(--sans);font-weight:600;color:var(--ink)}
  .saved-in{font-family:var(--mono);font-size:.84rem;color:var(--ink-soft);
    max-width:240px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
  .saved-when{font-size:.8rem;color:var(--ink-faint);white-space:nowrap}
  .saved-act{text-align:right;white-space:nowrap;width:1%}
  .hidden{display:none !important}

  .toast{position:fixed;left:50%;bottom:28px;transform:translateX(-50%) translateY(20px);
    background:var(--ink);color:#fff;font-family:var(--sans);font-size:.9rem;
    padding:10px 18px;border-radius:999px;box-shadow:var(--shadow-lift);opacity:0;
    pointer-events:none;transition:opacity var(--motion),transform var(--motion);z-index:80}
  .toast.show{opacity:1;transform:translateX(-50%) translateY(0)}

  .update-bar{display:flex;justify-content:space-between;align-items:center;gap:12px;
    flex-wrap:wrap;background:var(--accent-soft);color:var(--ink);
    border-bottom:1px solid var(--line-strong);padding:8px 18px;
    font-family:var(--sans);font-size:.9rem}
  .update-bar code{font-family:var(--mono);background:var(--bg);padding:1px 6px;
    border-radius:4px;border:1px solid var(--line)}
  .update-bar .update-actions{display:flex;align-items:center;gap:14px}
  .update-bar a{color:var(--accent);font-weight:600;text-decoration:none}
  .update-bar a:hover{text-decoration:underline}
  .update-bar .update-x{background:none;border:none;font-size:1.25rem;line-height:1;
    cursor:pointer;color:var(--ink-faint);padding:0 4px}
  .update-bar .update-x:hover{color:var(--ink)}
  .update-bar .update-line{display:flex;justify-content:space-between;
    align-items:center;gap:12px;flex-wrap:wrap;width:100%}
  .update-bar .update-notes-btn{font-size:.9rem}
  .update-notes{width:100%;margin-top:8px;border-top:1px solid var(--line);
    padding-top:8px}

  /* "What is this?" description on an operation page */
  .op-about{margin:0 0 16px;font-family:var(--sans)}
  .op-about>summary{cursor:pointer;color:var(--accent);font-size:.9rem;
    font-weight:600;list-style:none}
  .op-about>summary::-webkit-details-marker{display:none}
  .op-about>summary::before{content:"\25B8 ";color:var(--accent)}
  .op-about[open]>summary::before{content:"\25BE "}
  .op-about-body{margin-top:8px;font-size:.92rem;color:var(--ink-soft);
    line-height:1.6;background:var(--bg-soft);border:1px solid var(--line);
    border-radius:8px;padding:10px 14px}

  /* click-to-explain property rows (S(q) properties panel) */
  dl.rows dt.has-info{cursor:pointer;color:var(--accent)}
  dl.rows dt.has-info:hover,dl.rows dt.has-info.open{color:var(--accent-dark)}
  dl.rows dt.has-info:focus-visible{outline:2px solid var(--accent);
    outline-offset:2px;border-radius:3px}
  .ri-dot{display:inline-block;width:15px;height:15px;line-height:15px;
    text-align:center;font-size:.72rem;font-style:italic;font-weight:700;
    border-radius:50%;background:var(--accent-soft);color:var(--accent);
    font-family:var(--serif,Georgia,serif)}
  .ri-stack{margin-top:10px}
  .ri-panel{background:var(--bg-soft);border:1px solid var(--line);
    border-left:3px solid var(--accent);border-radius:8px;padding:12px 16px;
    margin-top:8px;font-family:var(--sans)}
  .ri-panel h4{margin:0 0 6px;font-size:.98rem;color:var(--ink)}
  .ri-body{font-size:.9rem;color:var(--ink-soft);line-height:1.6}
  .ri-vh{margin:10px 0 4px;font-size:.78rem;font-weight:700;letter-spacing:.03em;
    text-transform:uppercase;color:var(--ink-faint)}
  .ri-values{margin:0;padding-left:20px;font-size:.9rem;color:var(--ink-soft);
    line-height:1.55}
  .ri-values li{margin:3px 0}

  /* changelog / patch notes */
  .footer-right{display:inline-flex;gap:16px;align-items:center}
  .notes-summary{margin:0 0 8px;font-weight:600;color:var(--ink)}
  .notes-list{margin:0;padding-left:20px;line-height:1.6}
  .notes-list li{margin:6px 0;font-size:.92rem}
  .note-helps{color:var(--ink-faint)}
  .whatsnew-body{max-height:60vh;overflow-y:auto;text-align:left;
    font-family:var(--sans);color:var(--ink-soft)}
  .whatsnew-link{font-size:.85rem}

  footer{border-top:1px solid var(--line);background:var(--bg-soft);
    font-family:var(--sans);font-size:.85rem;color:var(--ink-faint)}
  footer .wrap{padding:22px 20px;display:flex;flex-wrap:wrap;gap:8px 20px}

  /* ---- pop-out workspace (tiling) ---- */
  .ws-bar{display:flex;align-items:center;gap:16px;flex-wrap:wrap;margin-bottom:16px}
  .ws-hint{font-family:var(--sans);font-size:.82rem;color:var(--ink-faint)}
  .ws-grid{display:grid;gap:14px;grid-template-columns:1fr;grid-auto-rows:minmax(300px,1fr);
    transition:grid-template-columns var(--motion) var(--ease),grid-template-rows var(--motion) var(--ease)}
  .ws-grid[data-count="0"]{display:none}
  .ws-grid[data-count="1"]{grid-template-columns:1fr}
  .ws-grid[data-count="2"]{grid-template-columns:1fr 1fr}
  .ws-grid[data-count="3"]{grid-template-columns:1fr 1fr 1fr}
  .ws-grid[data-count="4"]{grid-template-columns:1fr 1fr}
  .ws-grid[data-count="many"]{grid-template-columns:repeat(auto-fit,minmax(380px,1fr))}
  @media (max-width:820px){.ws-grid[data-count]{grid-template-columns:1fr}}
  .ws-tile{background:var(--bg);border:1px solid var(--line);border-radius:12px;
    overflow:hidden;display:flex;flex-direction:column;min-width:0;min-height:300px;
    box-shadow:var(--shadow);transition:transform var(--motion) var(--ease),opacity var(--motion) var(--ease)}
  .ws-tile.ws-enter,.ws-tile.ws-leave{opacity:0;transform:scale(.96)}
  .ws-tile-head{display:flex;align-items:center;gap:8px;padding:8px 8px 8px 14px;
    border-bottom:1px solid var(--line);background:var(--bg-soft);flex:none}
  .ws-tile-name{font-family:var(--mono);font-size:.8rem;color:var(--ink-soft);
    font-weight:600;white-space:nowrap;overflow:hidden;text-overflow:ellipsis;flex:1}
  .ws-tile-close{flex:none;border:1px solid transparent;background:none;cursor:pointer;
    font-size:1.2rem;line-height:1;color:var(--ink-faint);width:26px;height:26px;
    border-radius:7px;display:grid;place-items:center;padding:0}
  .ws-tile-close:hover{background:var(--err-soft);color:var(--err);border-color:#f3c7c2}
  .ws-tile-body{padding:14px 16px;overflow:auto;flex:1;min-height:0}
  .ws-tile-body .rmath{font-size:.92em}

  /* ---- compare (headline LaTeX, N-way) ---- */
  .cmp-grid{display:grid;gap:14px;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));
    margin-top:22px}
  .cmp-card{background:var(--bg);border:1px solid var(--line);border-radius:12px;
    padding:16px 18px;min-width:0;box-shadow:var(--shadow)}
  .cmp-name{font-family:var(--mono);font-size:.8rem;color:var(--ink-soft);font-weight:600;
    margin:0 0 12px;overflow:hidden;text-overflow:ellipsis}
  .cmp-math{overflow-x:auto}

  .cmp-controls{display:flex;flex-wrap:wrap;align-items:center;gap:12px;margin:18px 0 16px}
  .cmp-saved-pick{font-family:var(--sans);font-size:.85rem;padding:7px 10px;
    border:1px solid var(--line-strong);border-radius:8px;background:var(--bg);color:var(--ink-soft)}
  .cmp-rows{display:flex;flex-direction:column;gap:12px}
  .cmp-row{display:grid;grid-template-columns:auto minmax(220px,360px) 1fr;gap:14px;
    align-items:center;background:var(--bg);border:1px solid var(--line);border-radius:12px;
    padding:12px 14px;box-shadow:var(--shadow)}
  @media (max-width:760px){.cmp-row{grid-template-columns:auto 1fr}.cmp-row-out{grid-column:1 / -1}}
  .cmp-row-del{flex:none;border:1px solid transparent;background:none;cursor:pointer;
    font-size:1.15rem;line-height:1;color:var(--ink-faint);width:26px;height:26px;border-radius:7px;
    display:grid;place-items:center;padding:0}
  .cmp-row-del:hover{background:var(--err-soft);color:var(--err);border-color:#f3c7c2}
  .cmp-row-form{display:flex;flex-direction:column;gap:8px;min-width:0}
  .cmp-row-op{font-family:var(--sans);font-size:.82rem;font-weight:600;padding:7px 9px;
    border:1px solid var(--line-strong);border-radius:8px;background:var(--bg-soft);color:var(--ink)}
  .cmp-row-fields{display:flex;flex-wrap:wrap;gap:8px}
  .cmp-row-fields .cmp-f{font-family:var(--mono);font-size:.92rem;padding:8px 10px;
    border:1px solid var(--line-strong);border-radius:8px;background:var(--bg);min-width:0}
  .cmp-row-fields .cmp-f-input{flex:1 1 130px}
  .cmp-row-fields .cmp-f-arg{flex:0 1 92px}
  .cmp-row-fields select.cmp-f{font-family:var(--sans);font-size:.85rem}
  .cmp-row-out{overflow-x:auto;font-size:.95em;color:var(--ink)}
  .cmp-row-out .cmp-err{color:var(--err);font-family:var(--mono);font-size:.85rem}
  .cmp-diff{margin-top:16px}
  .cmp-diff .cmp-card{border-color:var(--accent);background:var(--accent-soft)}

  /* compare checkboxes on the saved table */
  th.saved-check,td.saved-check{width:1%;white-space:nowrap;text-align:center}
  td.saved-check input{width:16px;height:16px;cursor:pointer}
  .saved-head .cmp-go{margin-left:auto}

.modal-backdrop{position:fixed;inset:0;background:rgba(16,24,40,.45);z-index:200;
  display:grid;place-items:center;opacity:0;transition:opacity var(--motion) var(--ease)}
.modal-backdrop.show{opacity:1}
.modal{background:var(--bg);border:1px solid var(--line);border-radius:16px;
  padding:28px 30px;max-width:460px;width:calc(100% - 32px);box-shadow:var(--shadow-lift);
  transform:scale(.96);opacity:0;transition:transform var(--motion) var(--ease),opacity var(--motion) var(--ease)}
.modal-backdrop.show .modal{transform:scale(1);opacity:1}
.startup-brand{display:flex;align-items:center;gap:10px;font-weight:700;margin-bottom:6px}
.startup-brand .mark{display:inline-grid;place-items:center;width:30px;height:30px;
  border-radius:8px;background:var(--accent);color:#fff;font-family:var(--serif);
  font-style:italic;font-weight:600}
.profile-list{display:flex;flex-direction:column;gap:8px;margin:16px 0}
.profile-row{display:flex;justify-content:space-between;align-items:center;gap:10px;
  padding:12px 14px;border:1px solid var(--line);border-radius:10px;cursor:pointer;
  font-family:var(--sans)}
.profile-row:hover{border-color:var(--accent);background:var(--bg-soft)}
.profile-row .meta{font-size:.8rem;color:var(--ink-faint)}
.startup-actions{display:flex;align-items:center;gap:14px;margin-top:8px}
@media (prefers-reduced-motion: reduce){
  .modal-backdrop,.modal{transition:none}
}
.cmp-tray{position:fixed;left:0;right:0;bottom:0;z-index:60;background:var(--bg);
  border-top:1px solid var(--line);box-shadow:0 -2px 10px rgba(16,24,40,.06);
  padding:10px 16px;max-height:38vh;overflow:auto;
  transform:translateY(0);transition:transform var(--motion) var(--ease)}
.cmp-tray.hidden{transform:translateY(105%)}
.cmp-tray-head{display:flex;align-items:center;gap:12px;margin-bottom:8px}
.cmp-tray-title{font-family:var(--sans);font-weight:700;font-size:.85rem}
.cmp-tray-items{display:flex;gap:10px;flex-wrap:wrap}
.cmp-chip{display:flex;flex-direction:column;gap:4px;min-width:160px;max-width:280px;
  border:1px solid var(--line);border-radius:10px;padding:8px 10px;background:var(--bg-soft)}
.cmp-chip-math{overflow-x:auto;font-size:.9em}
.cmp-chip-head{display:flex;justify-content:space-between;gap:8px;align-items:center}
.cmp-chip-name{font-family:var(--mono);font-size:.72rem;color:var(--ink-faint);
  white-space:nowrap;overflow:hidden;text-overflow:ellipsis}
.cmp-chip-x{border:0;background:none;cursor:pointer;color:var(--ink-faint);font-size:1rem;padding:0 2px}
.cmp-chip-note{font-family:var(--sans);font-size:.78rem;border:1px dashed var(--line);
  border-radius:6px;padding:3px 6px;color:var(--ink-soft);background:var(--bg)}
.cmp-tray-diff{margin-top:8px}
.cmp-tray-diff .cmp-card{border-color:var(--accent);background:var(--accent-soft);
  border-radius:10px;padding:8px 12px}
body{padding-bottom:0}  /* tray overlays; pages already scroll */

  .derivation{margin:10px 0;border:1px solid var(--line);border-radius:8px;padding:6px 10px}
  .derivation summary{cursor:pointer;font-family:var(--sans);font-weight:600;font-size:.85rem}
  .derivation-body{padding:8px 2px 2px}
  .deriv-headline{margin:4px 0 8px;font-family:var(--sans);font-size:.9rem;color:var(--ink)}
  .deriv-line{font-family:var(--sans);font-size:.85rem;color:var(--ink-soft);margin:3px 0}
  .deriv-math{overflow-x:auto;overflow-y:hidden;margin:8px 0;padding:2px 0}
  .deriv-math::-webkit-scrollbar{display:none}
  .fold-table{border-collapse:collapse;font-family:var(--mono);font-size:.82rem;margin:6px 0}
  .fold-table th,.fold-table td{border-bottom:1px dashed var(--line);padding:3px 10px;text-align:left}
  .witness,.refs{font-family:var(--sans);font-size:.8rem;color:var(--ink-faint);margin:6px 0 0}
  .recompute-note{font-size:.78rem;color:var(--ink-faint);margin:6px 0 0}
  .prov-chip{font-family:var(--sans);font-size:.72rem;color:var(--ink-faint);
    border:1px solid var(--line);border-radius:999px;padding:2px 8px;margin-left:6px}
  .derivation-body .cmp-err{color:var(--err);font-size:.82rem}

  .share-menu{position:fixed;right:16px;bottom:64px;z-index:210;background:var(--bg);border:1px solid var(--line);
    border-radius:10px;box-shadow:var(--shadow-lift);padding:6px;display:flex;flex-direction:column;min-width:180px}
  .share-item{border:0;background:none;text-align:left;font-family:var(--sans);font-size:.85rem;padding:8px 10px;border-radius:6px;cursor:pointer;color:var(--ink)}
  .share-item:hover{background:var(--bg-soft)}
  .receive-row{padding:4px 0;font-family:var(--sans);font-size:.9rem}
  /* Per-result note row in the Saved table (B1). */
  .saved-note-row td{padding-top:0;border:0}
  .saved-note{width:100%;font-family:var(--sans);font-size:.85rem;padding:6px 9px;margin:0 0 6px;
    border:1px dashed var(--line);border-radius:7px;background:var(--bg);color:var(--ink-soft)}
  .saved-note:focus{outline:none;border-style:solid;border-color:var(--accent);color:var(--ink)}

.profile-io{display:flex;gap:14px;margin-top:12px}

/* ---- history drawer ---- */
.drawer{position:fixed;top:0;right:0;bottom:0;width:340px;max-width:90vw;z-index:120;background:var(--bg);
  border-left:1px solid var(--line);box-shadow:var(--shadow-lift);display:flex;flex-direction:column;
  transform:translateX(0);transition:transform var(--motion) var(--ease)}
.drawer.hidden{transform:translateX(102%)}
.drawer-head{display:flex;align-items:center;gap:10px;padding:14px 16px;border-bottom:1px solid var(--line)}
.drawer-title{font-family:var(--sans);font-weight:700;flex:1}
.drawer-body{overflow:auto;padding:10px 14px}
.drawer-empty{color:var(--ink-faint);font-family:var(--sans);font-size:.85rem}
.hist-row{padding:8px 0;border-bottom:1px dashed var(--line)}
.hist-main{font-family:var(--sans);font-size:.85rem}
.hist-acts{display:flex;gap:6px;margin-top:5px}

/* ---- saved search + tags ---- */
.saved-search{width:100%;font-family:var(--sans);font-size:.9rem;padding:7px 10px;margin:8px 0;border:1px solid var(--line);border-radius:8px}
.tag{display:inline-flex;align-items:center;gap:4px;font-family:var(--sans);font-size:.72rem;border:1px solid var(--line);border-radius:999px;padding:1px 8px;margin:2px 3px 0 0;color:var(--ink-soft)}
.tag button{border:0;background:none;cursor:pointer;color:var(--ink-faint);font-size:.85rem;line-height:1;padding:0}
.tag-add{font-size:.72rem;border:1px dashed var(--line);border-radius:999px;padding:1px 8px;cursor:pointer;background:none;color:var(--ink-faint)}

/* ---- command palette ---- */
.palette-backdrop{position:fixed;inset:0;z-index:200;background:rgba(16,24,40,.35);display:grid;place-items:start center;padding-top:14vh}
.palette-box{background:var(--bg);border:1px solid var(--line);border-radius:12px;box-shadow:var(--shadow-lift);width:min(560px,92vw);overflow:hidden}
.palette-box input{width:100%;border:0;border-bottom:1px solid var(--line);padding:14px 16px;font-family:var(--sans);font-size:1rem;outline:none}
.palette-list{max-height:46vh;overflow:auto}
.palette-item{padding:9px 16px;font-family:var(--sans);font-size:.9rem;cursor:pointer}
.palette-item.sel,.palette-item:hover{background:var(--bg-soft)}
.palette-empty{padding:12px 16px;color:var(--ink-faint);font-family:var(--sans);font-size:.85rem}

.print-root{display:none}
@media print{
  body > *{display:none !important}
  .print-root{display:block !important}
  .print-item{break-inside:avoid;margin:18px 0}
  .print-note{color:#475059;font-style:italic}
  .print-rows{border-collapse:collapse;font-size:.9rem;margin:6px 0}
  .print-rows td{border-bottom:1px solid #e3e6ea;padding:3px 12px;vertical-align:top}
  .print-rows td:first-child{color:#475059}
}

/* ---- Gate 11: small-phone fixes (only where something actually overflowed) ---- */
@media (max-width:480px){
  /* The nav row (brand + 4 buttons) overflowed the viewport at 390px because
     the buttons would not wrap. Tighten the gap/padding and let them wrap. */
  .nav-inner{gap:6px;padding:0 12px;flex-wrap:wrap;min-height:0;padding-top:8px;padding-bottom:8px}
  .nav-saved{padding:4px 9px;font-size:12.5px}
  /* Compare tray: cap height and let chips fill the row so they don't push wide. */
  .cmp-tray{max-height:46vh}
  .cmp-chip{min-width:0;max-width:none;flex:1 1 100%}
  /* Modals already use calc(100% - 32px); nothing else needed there. */
}

/* ---- empty-state styling ---------- */
/* Unified empty-state look: the four empty states were a serif/sans mix with
   drifting paddings; one calm sans, faint, centered treatment for all. */
.result .empty, .saved-empty, .drawer-empty, .palette-empty, .profile-empty{
  font-family:var(--sans);color:var(--ink-faint);text-align:center;line-height:1.6
}
.result .empty, .saved-empty{font-size:.95rem;padding:26px 16px}
/* Subtle fade/rise when switching the main views (home <-> op <-> workspace
   <-> saved). Honors the app-wide reduced-motion guard above. */
@keyframes viewFade{from{opacity:0;transform:translateY(4px)}to{opacity:1;transform:none}}
#home:not(.hidden), #opView:not(.hidden), #savedView:not(.hidden), #workspaceView:not(.hidden){
  animation:viewFade var(--motion) var(--ease)
}

/* The page-level noscript notice: shown only when scripts are off, pointing
   to the CLI ASCII path so the content survives JS failure. */
.noscript-note{max-width:860px;margin:18px auto;padding:12px 16px;
  border:1px solid var(--line,#d8dde3);border-radius:8px;font-size:.92rem}

/* ---- cyclotomic tool: the denominator brick strip ----------------------
   One chip per cyclotomic factor of the full [d]_q. Solid = kept by S,
   faded = dropped, amber badge = repeated (S then divides no [n]_q). The
   chip carries the factor Phi_e (typeset by MathJax) plus its degree and
   value at q = 1. */
.brick-strip{margin:14px 0 4px}
.brick-strip-head{font-size:.86rem;color:var(--ink-faint);margin-bottom:8px}
.brick-chips{display:flex;flex-wrap:wrap;gap:10px}
.brick-chip{display:inline-flex;flex-direction:column;align-items:center;
  gap:2px;min-width:62px;padding:8px 12px;border-radius:var(--radius-sm);
  border:1px solid var(--line-strong);background:var(--bg-soft);
  position:relative}
.brick-chip .brick-phi{font-size:1.05rem;line-height:1}
.brick-chip .brick-phi mjx-container{margin:0 !important}
.brick-sub{font-family:var(--mono);font-size:.68rem;color:var(--ink-faint)}
.brick-mult{position:absolute;top:-7px;right:-7px;background:var(--warn);
  color:#fff;font-size:.66rem;font-weight:700;border-radius:var(--radius-pill);
  padding:1px 6px}
.brick-kept{border-color:var(--good);background:var(--good-soft)}
.brick-kept .brick-phi{color:var(--good-ink)}
.brick-dropped{opacity:.5;border-style:dashed}
.brick-repeated{border-color:var(--warn);background:var(--warn-soft)}
.brick-extra{border-color:var(--accent);background:var(--accent-soft)}
.brick-legend{display:flex;gap:16px;margin-top:9px;font-size:.76rem;
  color:var(--ink-faint)}
.brick-legend .bl{display:inline-flex;align-items:center;gap:5px}
.brick-legend .bsw{width:12px;height:12px;border-radius:3px;
  border:1px solid var(--line-strong);display:inline-block}
.brick-legend .bsw-kept{background:var(--good-soft);border-color:var(--good)}
.brick-legend .bsw-dropped{background:var(--bg-soft);border-style:dashed}
.brick-legend .bsw-repeated{background:var(--warn-soft);border-color:var(--warn)}
.lattice-link{margin:12px 0 2px;font-size:.9rem}
.lattice-link a{color:var(--accent);text-decoration:none;font-weight:600}
.lattice-link a:hover{color:var(--accent-dark);text-decoration:underline}

/* ---- cancelable computations -------------------------------------------
   The in-flight state carries a live Cancel button next to the spinner. */
.result-loading .cancel-btn{margin-left:4px}

/* ---- home top strip: examples + recents --------------------------------- */
.home-top{display:flex;flex-direction:column;gap:10px;margin:16px 0 2px}
.example-strip,.recents-row{display:flex;flex-wrap:wrap;align-items:center;gap:8px}
.strip-label{font-family:var(--sans);font-size:.68rem;font-weight:700;
  letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint)}
.example-chip{font-family:var(--mono);font-size:.8rem}
.recent-card{display:flex;flex-direction:column;align-items:flex-start;gap:2px;
  padding:8px 12px;border:1px solid var(--line);border-radius:10px;
  background:var(--bg);cursor:pointer;box-shadow:var(--shadow);
  font-family:var(--sans);text-align:left}
.recent-card:hover{border-color:var(--accent)}
.recent-card .rc-op{font-size:.8rem;font-weight:650;color:var(--ink)}
.recent-card .rc-in{font-family:var(--mono);font-size:.75rem;color:var(--ink-soft);
  max-width:200px;overflow:hidden;text-overflow:ellipsis;white-space:nowrap}
.recent-card .rc-when{font-size:.68rem;color:var(--ink-faint)}

/* ---- omnibox math preview ------------------------------------------------ */
.omni-preview{display:flex;flex-wrap:wrap;align-items:center;gap:12px;
  margin:10px 0 0;padding:10px 14px;border:1px dashed var(--line-strong);
  border-radius:10px;background:var(--bg-softer)}
.omni-preview .omni-label{font-family:var(--sans);font-size:.66rem;font-weight:700;
  letter-spacing:.07em;text-transform:uppercase;color:var(--ink-faint);flex:none}
.omni-preview .omni-math{overflow-x:auto;overflow-y:hidden;color:var(--ink);
  scrollbar-width:none}
.omni-preview .omni-math::-webkit-scrollbar{display:none}
.omni-preview .omni-math mjx-container{margin:0 !important}
.omni-preview .omni-acts{display:flex;flex-wrap:wrap;gap:8px;margin-left:auto}

/* ---- dossier view --------------------------------------------------------- */
#dossierView{max-width:960px;margin:0 auto}
.dossier-head{position:sticky;top:58px;z-index:40;display:flex;flex-wrap:wrap;
  gap:12px 20px;align-items:center;justify-content:space-between;margin-bottom:16px}
.dossier-title{min-width:0}
.dossier-math{font-size:1.25rem;margin-top:2px;overflow-x:auto;overflow-y:hidden;
  scrollbar-width:none}
.dossier-math::-webkit-scrollbar{display:none}
.dossier-math mjx-container{margin:0 !important}
.dossier-in{font-family:var(--mono);color:var(--ink-soft)}
.dossier-change{display:flex;gap:8px;align-items:center;flex-wrap:wrap}
.dossier-change input{font-family:var(--mono);font-size:.95rem;padding:8px 10px;
  border:1px solid var(--line-strong);border-radius:8px;background:var(--bg-soft);
  color:var(--ink);min-width:200px}
.dossier-change input:focus{outline:none;border-color:var(--accent);
  box-shadow:0 0 0 3px var(--accent-soft)}
.dossier-cards{display:flex;flex-direction:column;gap:14px}
.dossier-card-head{display:flex;align-items:baseline;gap:12px;margin-bottom:8px}
.dc-title{display:flex;flex-direction:column;gap:1px;min-width:0}
.dc-group{font-family:var(--sans);font-size:.66rem;font-weight:700;
  letter-spacing:.06em;text-transform:uppercase;color:var(--ink-faint)}
.dc-name{font-family:var(--sans);font-size:1.05rem;font-weight:700;margin:0}
.dc-open{margin-left:auto;flex:none;font-family:var(--sans);font-size:.85rem;
  font-weight:600;white-space:nowrap}
.dossier-card-body{min-height:32px}
.dc-math{overflow-x:auto;overflow-y:hidden;font-size:1.05rem;padding:2px 0}
.dc-math mjx-container{margin:.15em 0 !important}
.dc-wait{font-family:var(--sans);font-size:.85rem;color:var(--ink-faint)}
.dc-note{font-family:var(--sans);font-size:.8rem;color:var(--ink-faint);
  margin-left:10px}
.dossier-card .result-error{margin-bottom:8px}

/* ---- "Open in CLI" chip ---------------------------------------------------- */
.cli-chip{font-family:var(--mono);font-size:.72rem;max-width:100%;
  overflow:hidden;text-overflow:ellipsis;white-space:nowrap}

/* ---- card blurbs: intentional two-line clamp ------------------------------ */
/* The clamp itself lives on .oc-blurb (line-clamp: 2); these keep the cut
   clean (never mid-word) and the full text rides the title attribute. */
.op-card .oc-blurb{word-break:normal;overflow-wrap:break-word;hyphens:none}

/* ---- keyboard focus on chips and cards (explicit, beyond the global rule) - */
.chip:focus-visible,.op-card:focus-visible,.recent-card:focus-visible,
.mini:focus-visible,.dc-open:focus-visible{
  outline:2px solid var(--accent);outline-offset:2px}

/* ---- shortcuts overlay ("?") ----------------------------------------------- */
.shortcut-list{display:grid;grid-template-columns:max-content 1fr;gap:10px 18px;
  margin:16px 0 6px;font-family:var(--sans);font-size:.9rem;align-items:baseline}
.shortcut-list dt{white-space:nowrap}
.shortcut-list dd{margin:0;color:var(--ink-soft)}
.shortcut-list kbd{font-family:var(--mono);font-size:.76rem;color:var(--ink);
  background:var(--bg-soft);border:1px solid var(--line-strong);
  border-bottom-width:2px;border-radius:5px;padding:1px 7px}