/* app.css: design tokens (light + dark) and shared pieces, each page's styles, and at the end the role layer that
   gives Anvil components (Button, Label, TextBox, notifications, dialogs, RepeatingPanel grids) the same look.
   Restyle the app by changing the tokens at the top (both the light and the dark blocks). */

/* RoboIntern's tokens: the LaTeX-paper look (warm paper, hyperref blue, red pen; light + dark). design-ok: cream-background */
:root {
  --c-bg: #faf8f2;          /* page: warm paper (the user's chosen LaTeX-paper look) design-ok: cream-background */
  --c-surface: #ffffff;     /* cards, menus, inputs */
  --c-surface-2: #f2efe6;   /* subtle fills, hovers */
  --c-ink: #1a1a22;         /* text */
  --c-muted: #55566a;       /* secondary text */
  --c-faint: #8d8f9f;       /* hints, placeholders */
  --c-line: #e1dccd;        /* borders, rules */
  --c-grid: rgba(31, 58, 147, .055); /* graph-paper grid */
  --c-brand: #1f3a93;       /* hyperref blue: primary buttons, links, focus */
  --c-brand-ink: #ffffff;   /* text on brand */
  --c-brand-soft: #e8ecf8;  /* brand tints */
  --c-accent: #b3261e;      /* red pen: highlights, the target */
  --c-accent-soft: #f8e5e2;
  --c-code: #f6f4ee;        /* code listings */
  --c-good: #2e6b3a; --c-good-soft: #e3efe4;
  --c-warn: #8a5a00; --c-warn-soft: #f6ecd6;
  --c-bad: #b3261e;  --c-bad-soft: #f8e5e2;
  --radius: 3px; --radius-sm: 2px;
  --shadow: none;
  --shadow-lg: 0 1px 0 rgba(26, 26, 34, .04), 0 14px 40px rgba(26, 26, 34, .13);
  --font-body: "Source Serif 4", "Source Serif Pro", Georgia, "Times New Roman", serif;
  --font-display: "STIX Two Text", "Source Serif 4", Georgia, serif;
  --font-mono: "JetBrains Mono", ui-monospace, "Cascadia Code", Consolas, monospace;
  --maxw: 1160px;
  --header-h: 62px;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) {
    --c-bg: #12141c; --c-surface: #1a1d28; --c-surface-2: #222634; --c-ink: #e9e6dc; --c-muted: #a9abb8; --c-faint: #707386;
    --c-line: #2d3244; --c-grid: rgba(143, 168, 240, .045); --c-brand: #8fa8f0; --c-brand-ink: #0e1120; --c-brand-soft: #1f2843;
    --c-accent: #f07a6e; --c-accent-soft: #3a1f1d; --c-code: #161925;
    --c-good: #7ccf8e; --c-good-soft: #18291c; --c-warn: #e6b45a; --c-warn-soft: #2e2512; --c-bad: #f07a6e; --c-bad-soft: #3a1f1d;
    --shadow: none; --shadow-lg: 0 18px 50px rgba(0, 0, 0, .55); color-scheme: dark;
  }
}
:root[data-theme="dark"] {
    --c-bg: #12141c; --c-surface: #1a1d28; --c-surface-2: #222634; --c-ink: #e9e6dc; --c-muted: #a9abb8; --c-faint: #707386;
    --c-line: #2d3244; --c-grid: rgba(143, 168, 240, .045); --c-brand: #8fa8f0; --c-brand-ink: #0e1120; --c-brand-soft: #1f2843;
    --c-accent: #f07a6e; --c-accent-soft: #3a1f1d; --c-code: #161925;
    --c-good: #7ccf8e; --c-good-soft: #18291c; --c-warn: #e6b45a; --c-warn-soft: #2e2512; --c-bad: #f07a6e; --c-bad-soft: #3a1f1d;
    --shadow: none; --shadow-lg: 0 18px 50px rgba(0, 0, 0, .55); color-scheme: dark;
}

/* Design kit: motion tokens, browser surfaces, wrapping, press feedback, reduced motion (APP_MAKER/design/kit.css). */
/* design-kit:start */
:root {
  /* easing: never ease-in on UI */
  --ease-out: cubic-bezier(0.23, 1, 0.32, 1);      /* entering, exiting, most UI */
  --ease-in-out: cubic-bezier(0.77, 0, 0.175, 1);  /* moving across the screen */
  --ease-drawer: cubic-bezier(0.32, 0.72, 0, 1);   /* sheets, drawers */
  --ease-expo: cubic-bezier(0.16, 1, 0.3, 1);      /* one authored entrance */
  /* durations: UI stays under 300ms, exits faster than entrances */
  --dur-press: 140ms; --dur-fast: 180ms; --dur-base: 220ms; --dur-slow: 320ms; --dur-hero: 640ms;
  /* 4px spacing scale */
  --sp-1: 4px; --sp-2: 8px; --sp-3: 12px; --sp-4: 16px; --sp-5: 24px; --sp-6: 32px; --sp-7: 48px; --sp-8: 64px; --sp-9: 96px;
  --measure: 65ch;
}

/* browser surfaces: the parts nobody draws */
::selection { background: color-mix(in srgb, var(--c-brand) 26%, transparent); color: inherit; }
html {
  accent-color: var(--c-brand); caret-color: var(--c-brand);
  scrollbar-color: color-mix(in srgb, var(--c-ink) 26%, transparent) transparent;
  -webkit-tap-highlight-color: transparent; -webkit-text-size-adjust: 100%; text-size-adjust: 100%;
  -webkit-font-smoothing: antialiased; -moz-osx-font-smoothing: grayscale;
}
a { text-underline-offset: .2em; text-decoration-thickness: from-font; }
h1, h2, h3, h4, [role="heading"], .anvil-role-page-title { text-wrap: balance; }
p, li, dd, blockquote, figcaption { text-wrap: pretty; }
td, th, time, output, progress, .num, .tabular, [data-num] { font-variant-numeric: tabular-nums; }
:focus-visible { outline: 3px solid color-mix(in srgb, var(--c-brand) 60%, transparent); outline-offset: 2px; }

/* press feedback: pressable things answer the moment they're pressed */
:is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn, .kit-press) {
  transition: transform var(--dur-press) var(--ease-out), background-color var(--dur-fast) ease,
              border-color var(--dur-fast) ease, color var(--dur-fast) ease, opacity var(--dur-fast) ease,
              box-shadow var(--dur-fast) ease;
}
:is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn, .kit-press):active:not(:disabled) { transform: scale(.97); }

/* entrances: content is visible by default; these only add the arrival */
@keyframes kit-in { from { opacity: 0; transform: translateY(6px); } }
@keyframes kit-pop { from { opacity: 0; transform: scale(.96); } }
@keyframes kit-fade { from { opacity: 0; } }
.kit-in { animation: kit-in var(--dur-slow) var(--ease-out) both; }
.kit-stagger > * { animation: kit-in var(--dur-slow) var(--ease-out) both; }
.kit-stagger > :nth-child(2) { animation-delay: 40ms; } .kit-stagger > :nth-child(3) { animation-delay: 80ms; }
.kit-stagger > :nth-child(4) { animation-delay: 120ms; } .kit-stagger > :nth-child(5) { animation-delay: 160ms; }
.kit-stagger > :nth-child(n+6) { animation-delay: 200ms; }

/* reduced motion = fewer and gentler, not none: movement goes, short fades that confirm a state stay */
@media (prefers-reduced-motion: reduce) {
  html { scroll-behavior: auto; }
  .kit-in, .kit-stagger > * { animation-name: kit-fade; animation-delay: 0ms !important; }
  :is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn, .kit-press):active:not(:disabled) { transform: none; }
}
/* design-kit:end */

/* The app owns the page (not Anvil's theme). */
html, body { background: var(--c-bg) !important; color: var(--c-ink); }
body { margin: 0; font: 16px/1.55 var(--font-body); -webkit-font-smoothing: antialiased; text-rendering: optimizeLegibility; }
html.ui-modal-open { overflow: hidden; }

.ui, .ui *, .ui *::before, .ui *::after { box-sizing: border-box; }
.ui { font: 16px/1.55 var(--font-body); color: var(--c-ink); }
.ui h1, .ui h2, .ui h3, .ui h4 { font-family: var(--font-display); line-height: 1.15; margin: 0 0 .4em; letter-spacing: -.015em; font-weight: 700; color: var(--c-ink); }
.ui h1 { font-size: clamp(2rem, 4.5vw, 3.1rem); }
.ui h2 { font-size: clamp(1.45rem, 3vw, 1.9rem); }
.ui h3 { font-size: 1.2rem; }
.ui h4 { font-size: 1rem; }
.ui p { margin: 0 0 .8em; }
.ui :is(p, ul, ol, blockquote, figure) + :is(h2, h3) { margin-top: 1.4em; }  /* more space above a heading than below it */
.ui a { color: var(--c-brand); text-underline-offset: 3px; }
.ui [hidden] { display: none !important; }
.ui img { max-width: 100%; }
.ui .muted { color: var(--c-muted); }
.ui .faint { color: var(--c-faint); }
.ui .small { font-size: .875rem; }
.ui-ic, .ic { width: 18px; height: 18px; flex: none; vertical-align: -3px; }

/* layout */
.ui-wrap { max-width: var(--maxw); margin: 0 auto; padding: 32px 24px 72px; }
.ui-narrow { max-width: 720px; margin-left: auto; margin-right: auto; }
.ui-row { display: flex; align-items: center; gap: 10px; flex-wrap: wrap; }
.ui-row.end { justify-content: flex-end; }
.ui-row.between { justify-content: space-between; }
.ui-row.top { align-items: flex-start; }
.ui-spacer { flex: 1; }
.ui-stack > * + * { margin-top: 14px; }
.ui-grid { display: grid; gap: 16px; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); }
.ui-grid.two { grid-template-columns: repeat(2, minmax(0, 1fr)); }
.ui-page-head { display: flex; align-items: flex-end; justify-content: space-between; gap: 16px; flex-wrap: wrap; margin-bottom: 22px; }
.ui-page-head h1 { margin: 0; font-size: clamp(1.7rem, 3.4vw, 2.3rem); }
.ui-page-head p { margin: 6px 0 0; }

/* cards */
.ui-card { background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); box-shadow: var(--shadow); padding: 22px; }
.ui-card.flat { box-shadow: none; }
.ui-card.tight { padding: 14px 16px; }
.ui-card > :last-child { margin-bottom: 0; }

/* buttons */
:is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn) { font: 600 .95rem/1.2 var(--font-body); display: inline-flex; align-items: center; justify-content: center; gap: 8px;
  padding: 11px 18px; min-height: 44px; border-radius: 999px; border: 1px solid var(--c-line); background: var(--c-surface); color: var(--c-ink);
  cursor: pointer; text-decoration: none; white-space: nowrap; }  /* transitions + press scale: design kit */
:is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn):hover { border-color: var(--c-ink); }
:is(.ui-btn.primary, .anvil-role-btn.anvil-role-btn-primary > button, a.anvil-role-btn.anvil-role-btn-primary) { background: var(--c-brand); border-color: var(--c-brand); color: var(--c-brand-ink); }
:is(.ui-btn.primary, .anvil-role-btn.anvil-role-btn-primary > button, a.anvil-role-btn.anvil-role-btn-primary):hover { opacity: .92; }
:is(.ui-btn.ghost, .anvil-role-btn.anvil-role-btn-ghost > button, a.anvil-role-btn.anvil-role-btn-ghost) { background: transparent; border-color: transparent; color: var(--c-muted); }
:is(.ui-btn.ghost, .anvil-role-btn.anvil-role-btn-ghost > button, a.anvil-role-btn.anvil-role-btn-ghost):hover { background: var(--c-surface-2); color: var(--c-ink); }
:is(.ui-btn.danger, .anvil-role-btn.anvil-role-btn-danger > button, a.anvil-role-btn.anvil-role-btn-danger) { color: var(--c-bad); }
:is(.ui-btn.danger, .anvil-role-btn.anvil-role-btn-danger > button, a.anvil-role-btn.anvil-role-btn-danger):hover { border-color: var(--c-bad); }
:is(.ui-btn.danger.solid, .anvil-role-btn.anvil-role-btn-danger.anvil-role-btn-solid > button, a.anvil-role-btn.anvil-role-btn-danger.anvil-role-btn-solid) { background: var(--c-bad); border-color: var(--c-bad); color: var(--c-on-status); }
:is(.ui-btn.sm, .anvil-role-btn.anvil-role-btn-sm > button, a.anvil-role-btn.anvil-role-btn-sm) { min-height: 34px; padding: 6px 12px; font-size: .85rem; }
:is(.ui-btn.lg, .anvil-role-btn.anvil-role-btn-lg > button, a.anvil-role-btn.anvil-role-btn-lg) { min-height: 54px; padding: 14px 26px; font-size: 1.05rem; }
:is(.ui-btn.icon, .anvil-role-btn.anvil-role-btn-icon > button, a.anvil-role-btn.anvil-role-btn-icon) { width: 40px; min-height: 40px; padding: 0; }
:is(.ui-btn.block, .anvil-role-btn.anvil-role-btn-block > button, a.anvil-role-btn.anvil-role-btn-block) { width: 100%; }
:is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn):disabled { opacity: .5; cursor: not-allowed; transform: none; }
:is(.ui-btn.is-busy, .anvil-role-btn.anvil-role-btn-is-busy > button, a.anvil-role-btn.anvil-role-btn-is-busy) { position: relative; color: transparent !important; }
:is(.ui-btn.is-busy, .anvil-role-btn.anvil-role-btn-is-busy > button, a.anvil-role-btn.anvil-role-btn-is-busy)::after { content: ""; position: absolute; width: 18px; height: 18px; border-radius: 50%; border: 2px solid currentColor;
  border-color: var(--c-muted) transparent var(--c-muted) transparent; animation: ui-spin .8s linear infinite; }
:is(.ui-btn.primary.is-busy, .anvil-role-btn.anvil-role-btn-primary.anvil-role-btn-is-busy > button, a.anvil-role-btn.anvil-role-btn-primary.anvil-role-btn-is-busy)::after { border-color: var(--c-brand-ink) transparent var(--c-brand-ink) transparent; }
@keyframes ui-spin { to { transform: rotate(360deg); } }
.ui :focus-visible { outline: 3px solid color-mix(in srgb, var(--c-brand) 55%, transparent); outline-offset: 2px; }

/* forms */
.ui-field { display: block; }
.ui-field > span { display: block; font-weight: 600; font-size: .9rem; margin-bottom: 6px; }
.ui-field > span em { font-style: normal; font-weight: 400; color: var(--c-muted); }
.ui input[type=text], .ui input[type=email], .ui input[type=password], .ui input[type=search], .ui input[type=number], .ui input[type=url],
.ui input[type=tel], .ui input[type=date], .ui input[type=time], .ui input[type=datetime-local], .ui select, .ui textarea {
  font: inherit; font-size: 1rem; color: var(--c-ink); background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius-sm);
  padding: 11px 13px; width: 100%; min-height: 46px; margin: 0; box-shadow: none; transition: border-color var(--dur-fast) ease, box-shadow var(--dur-fast) ease; }
.ui textarea { min-height: 110px; resize: vertical; line-height: 1.5; }
/* tick boxes and radios keep the focus ring above; typed-in fields swap it for the border + glow */
.ui input:not([type=checkbox]):not([type=radio]):focus, .ui select:focus, .ui textarea:focus { outline: none; border-color: var(--c-brand); box-shadow: 0 0 0 3px var(--c-brand-soft); }
.ui ::placeholder { color: var(--c-faint); }
.ui-hint { font-size: .85rem; color: var(--c-muted); margin: 6px 0 0; }
.ui-check { display: flex; gap: 10px; align-items: flex-start; cursor: pointer; font-size: .95rem; }
.ui-check input { margin-top: 4px; width: 18px; height: 18px; accent-color: var(--c-brand); flex: none; }
.ui-error { background: var(--c-bad-soft); color: var(--c-bad); border-radius: var(--radius-sm); padding: 10px 14px; font-size: .92rem; }
.ui-note { background: var(--c-brand-soft); color: var(--c-ink); border-radius: var(--radius-sm); padding: 10px 14px; font-size: .92rem; }
.ui-choices { display: grid; grid-template-columns: repeat(auto-fit, minmax(150px, 1fr)); gap: 8px; }
.ui-choice input { position: absolute; opacity: 0; pointer-events: none; }
.ui-choice span { display: flex; align-items: center; gap: 8px; padding: 11px 13px; border: 1px solid var(--c-line); border-radius: var(--radius-sm); cursor: pointer; font-weight: 500; background: var(--c-surface); }
.ui-choice input:checked + span { border-color: var(--c-brand); background: var(--c-brand-soft); }
.ui-choice input:focus-visible + span { outline: 3px solid color-mix(in srgb, var(--c-brand) 55%, transparent); }

/* small pieces */
.ui-badge { display: inline-flex; align-items: center; gap: 5px; font: 600 .75rem/1.3 var(--font-body); padding: 4px 10px; border-radius: 999px;
  background: var(--c-surface-2); color: var(--c-muted); white-space: nowrap; }
.ui-badge.brand { background: var(--c-brand-soft); color: var(--c-brand); }
.ui-badge.good { background: var(--c-good-soft); color: var(--c-good); }
.ui-badge.warn { background: var(--c-warn-soft); color: var(--c-warn); }
.ui-badge.bad { background: var(--c-bad-soft); color: var(--c-bad); }
.ui-seg { display: inline-flex; padding: 3px; gap: 2px; background: var(--c-surface-2); border-radius: 999px; border: 1px solid var(--c-line); }
.ui-seg button { font: 500 .85rem/1 var(--font-body); border: 0; background: none; color: var(--c-muted); padding: 8px 13px; border-radius: 999px; cursor: pointer; }
.ui-seg button.on { background: var(--c-surface); color: var(--c-ink); box-shadow: var(--shadow); }
.ui-tabs { display: flex; gap: 4px; border-bottom: 1px solid var(--c-line); margin-bottom: 22px; overflow-x: auto; scrollbar-width: none; }
.ui-tabs a, .ui-tabs button { font: 600 .92rem/1 var(--font-body); border: 0; background: none; color: var(--c-muted); padding: 12px 14px; border-bottom: 2px solid transparent;
  cursor: pointer; text-decoration: none; white-space: nowrap; display: inline-flex; gap: 7px; align-items: center; margin-bottom: -1px; }
.ui-tabs .on { color: var(--c-ink); border-bottom-color: var(--c-brand); }
.ui-tabs .count { font-size: .75rem; background: var(--c-surface-2); border-radius: 999px; padding: 2px 7px; }
.ui-empty { text-align: center; padding: 48px 20px; border: 1px dashed var(--c-line); border-radius: var(--radius); color: var(--c-muted); }
.ui-empty :is(.ui-ic, .ic) { width: 34px; height: 34px; color: var(--c-faint); margin-bottom: 8px; }
.ui-empty :is(h2, h3) { color: var(--c-ink); font-size: 1.15rem; margin-top: 0; }
.ui-avatar { width: 40px; height: 40px; border-radius: 50%; display: inline-grid; place-items: center; flex: none;
  background: var(--c-brand-soft); color: var(--c-brand); font: 700 .85rem/1 var(--font-body); }
.ui-list { display: grid; gap: 10px; }
.ui-item { display: flex; gap: 14px; align-items: flex-start; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 16px 18px; }
.ui-item .grow { flex: 1; min-width: 0; }
.ui-item h3 { margin: 0 0 4px; font-size: 1.05rem; }
.ui-item p { margin: 0; overflow-wrap: anywhere; }
.ui-skel { border-radius: var(--radius); background: linear-gradient(90deg, var(--c-surface-2), var(--c-surface), var(--c-surface-2)); background-size: 200% 100%;
  animation: ui-skel 1.4s linear infinite; min-height: 80px; }
@keyframes ui-skel { to { background-position: -200% 0; } }
.ui-stat { display: block; }
.ui-stat b { display: block; font: 800 2rem/1.1 var(--font-display); }
.ui-stat span { color: var(--c-muted); font-size: .9rem; }

/* header */
.ui-header { position: sticky; top: 0; z-index: 40; background: color-mix(in srgb, var(--c-bg) 84%, transparent);
  -webkit-backdrop-filter: saturate(1.4) blur(14px); backdrop-filter: saturate(1.4) blur(14px); border-bottom: 1px solid var(--c-line); }
.ui-header-in { max-width: var(--maxw); margin: 0 auto; height: var(--header-h); padding: 0 24px; display: flex; align-items: center; gap: 22px; }
.ui-brand { display: inline-flex; align-items: center; gap: 10px; text-decoration: none; color: var(--c-ink) !important; font: 800 1.15rem/1 var(--font-display); letter-spacing: -.01em; }
.ui-brand img { width: 32px; height: 32px; border-radius: 9px; }
.ui-nav { display: flex; gap: 2px; }
.ui-nav a { display: inline-flex; align-items: center; gap: 7px; padding: 9px 13px; border-radius: 999px; color: var(--c-muted); text-decoration: none; font-weight: 600; font-size: .93rem; }
.ui-nav a:hover { color: var(--c-ink); background: var(--c-surface-2); }
.ui-nav a.on { color: var(--c-ink); background: var(--c-surface-2); }
.ui-header-right { margin-left: auto; display: flex; align-items: center; gap: 8px; position: relative; }
.ui-avatar-btn { width: 40px; height: 40px; border-radius: 50%; border: 0; cursor: pointer; background: var(--c-brand); color: var(--c-brand-ink); font: 700 .85rem/1 var(--font-body); }
.ui-menu { position: absolute; right: 0; top: calc(100% + 10px); width: 280px; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius);
  box-shadow: var(--shadow-lg); padding: 8px; z-index: 60; transform-origin: top right; animation: ui-pop var(--dur-fast) var(--ease-out); }
.ui-menu-head { padding: 10px 12px 12px; border-bottom: 1px solid var(--c-line); margin-bottom: 6px; display: grid; gap: 2px; overflow-wrap: anywhere; }
.ui-menu > a, .ui-menu > button { display: flex; width: 100%; align-items: center; gap: 10px; padding: 10px 12px; border-radius: var(--radius-sm); border: 0; background: none;
  font: 500 .95rem/1.2 var(--font-body); color: var(--c-ink); text-decoration: none; cursor: pointer; text-align: left; }
.ui-menu > a:hover, .ui-menu > button:hover { background: var(--c-surface-2); }
.ui-menu-block { padding: 8px 12px 10px; display: grid; gap: 8px; }
@keyframes ui-pop { from { opacity: 0; transform: translateY(-4px) scale(.98); } }

/* main + footer */
.ui-shell { min-height: 100vh; display: flex; flex-direction: column; }
.ui-main { flex: 1; }
.ui-shell.no-chrome .ui-header, .ui-shell.no-chrome .ui-footer, .ui-shell.no-chrome .ui-tabbar { display: none; }
.ui-footer { border-top: 1px solid var(--c-line); background: var(--c-surface); }
.ui-footer-in { max-width: var(--maxw); margin: 0 auto; padding: 32px 24px 40px; display: grid; grid-template-columns: 1fr auto; gap: 18px 24px; align-items: start; }
.ui-footer-brand p { margin: 8px 0 0; }
.ui-footer-links { display: flex; gap: 6px 18px; flex-wrap: wrap; justify-content: flex-end; }
.ui-footer-links a, .ui-footer-links button { font: 500 .92rem/1.4 var(--font-body); color: var(--c-muted); background: none; border: 0; padding: 4px 0; cursor: pointer; text-decoration: none; }  /* 24px+ touch height */
.ui-footer-links a:hover, .ui-footer-links button:hover { color: var(--c-ink); }
.ui-footer-legal { grid-column: 1 / -1; margin: 0; }

/* phone tab bar (shown on small screens when signed in) */
.ui-tabbar { display: none; }
.ui-tabbar:empty { display: none !important; }

/* toasts + modals */
.ui-toasts { position: fixed; z-index: 1000; left: 50%; bottom: 24px; transform: translateX(-50%); display: grid; gap: 8px; width: min(92vw, 440px); pointer-events: none; }
.ui-toast { display: flex; gap: 10px; align-items: center; background: var(--c-ink); color: var(--c-bg); padding: 13px 16px; border-radius: 14px; box-shadow: var(--shadow-lg);
  font-weight: 500; animation: ui-pop var(--dur-base) var(--ease-out); transition: opacity var(--dur-fast) var(--ease-out), transform var(--dur-fast) var(--ease-out); }
.ui-toast.error { background: var(--c-bad); color: var(--c-on-status); }
.ui-toast.ok { background: var(--c-good); color: var(--c-on-status); }
.ui-toast.out { opacity: 0; transform: translateY(8px); }
.ui-modal-wrap { position: fixed; inset: 0; z-index: 900; background: rgba(10, 12, 20, .5); display: grid; place-items: center; padding: 16px; overflow-y: auto; animation: ui-fade var(--dur-fast) ease; }
.ui-modal { position: relative; width: min(100%, 520px); background: var(--c-surface); border-radius: calc(var(--radius) + 4px); padding: 28px; box-shadow: var(--shadow-lg); animation: kit-pop var(--dur-base) var(--ease-out); outline: none; }
.ui-modal.wide { width: min(100%, 760px); }
.ui-modal h2 { padding-right: 40px; }
.ui-modal-x { position: absolute; top: 14px; right: 14px; }
@keyframes ui-fade { from { opacity: 0; } }

@media (max-width: 720px) {
  .ui-wrap { padding: 22px 16px 56px; }
  .ui-header-in { padding: 0 16px; gap: 12px; }
  .ui-nav { display: none; }
  .ui-brand span { font-size: 1.05rem; }
  .ui-header-right :is(.ui-btn, .anvil-role-btn > button, a.anvil-role-btn) { padding: 9px 13px; min-height: 40px; font-size: .9rem; }
  .ui-shell.signed-in .ui-tabbar { display: flex; position: fixed; z-index: 45; left: 0; right: 0; bottom: 0; background: var(--c-surface); border-top: 1px solid var(--c-line);
    padding: 6px 6px calc(6px + env(safe-area-inset-bottom)); }
  .ui-tabbar a { flex: 1; display: grid; justify-items: center; gap: 3px; padding: 6px 2px; border-radius: 12px; color: var(--c-muted); text-decoration: none; font: 600 .75rem/1 var(--font-body); }
  .ui-tabbar a :is(.ui-ic, .ic) { width: 22px; height: 22px; }
  .ui-tabbar a.on { color: var(--c-brand); }
  .ui-shell.signed-in:has(.ui-tabbar:not(:empty)) .ui-footer { padding-bottom: 72px; }
  .ui-footer-in { grid-template-columns: 1fr; }
  .ui-footer-links { justify-content: flex-start; }
  .ui-grid.two { grid-template-columns: 1fr; }
  .ui-menu { position: fixed; left: 12px; right: 12px; top: calc(var(--header-h) + 6px); width: auto; }
  .ui-modal { padding: 24px 18px; }
}
@media (max-width: 380px) {
  .ui-header-right :is(.ui-btn.ghost, .anvil-role-btn.anvil-role-btn-ghost > button, a.anvil-role-btn.anvil-role-btn-ghost) { display: none; }
}
@media (prefers-reduced-motion: reduce) {  /* drop movement, keep the fades (design/README.md 6) */
  .ui-menu, .ui-toast, .ui-modal { animation-name: kit-fade; }
  .ui-toast.out { transform: none; }
  .ui-skel { animation: none; }
}


/* ===================================================================== RoboIntern: the LaTeX-paper look
   Serif body, STIX headings, mono for labels and code, hairline rules, graph-paper grid, theorem boxes. */
html, body { background-color: var(--c-bg) !important; }
/* design-ok: grid-background (graph paper is the app's identity) */
body { background-image: linear-gradient(var(--c-grid) 1px, transparent 1px), linear-gradient(90deg, var(--c-grid) 1px, transparent 1px) !important;
  background-size: 24px 24px !important; background-position: -1px -1px !important; }
body, .ui { font-size: 17px; }
.ui h1, .ui h2, .ui h3, .ui h4 { font-weight: 600; letter-spacing: -.005em; }
.ui h1 { font-weight: 600; }
.ui code, .ui kbd, .ui .mono { font-family: var(--font-mono); font-size: .86em; }
.ui code { background: var(--c-surface-2); padding: 1px 5px; border-radius: 2px; }
.ui em.m, .ui var { font-family: var(--font-display); font-style: italic; }
.ui ::selection { background: color-mix(in srgb, var(--c-brand) 22%, transparent); }

.ui-card { border-radius: var(--radius); }
.ui-btn { font: 600 .92rem/1.2 var(--font-body); border-radius: 2px; border-color: color-mix(in srgb, var(--c-ink) 28%, var(--c-line)); letter-spacing: .01em; }
.ui-btn.primary { box-shadow: 0 1px 0 rgba(0, 0, 0, .08); }
.ui-btn.primary:hover { opacity: 1; background: color-mix(in srgb, var(--c-brand) 86%, var(--c-ink)); }
.ui-btn.accent { background: var(--c-accent); border-color: var(--c-accent); color: #fff; }
.ui-btn.lg { font-size: 1.02rem; }
.ui-badge { border-radius: 2px; font: 500 .72rem/1.3 var(--font-mono); letter-spacing: .02em; padding: 3px 7px; }
.ui-badge.accent { background: var(--c-accent-soft); color: var(--c-accent); }
.ui-seg { border-radius: 3px; }
.ui-seg button { border-radius: 2px; font-family: var(--font-body); }
.ui-tabs a, .ui-tabs button { font-family: var(--font-body); }
.ui-avatar, .ui-avatar-btn { border-radius: 2px; font-family: var(--font-display); font-style: italic; font-weight: 600; font-size: 1rem; }
.ui-item, .ui-empty, .ui-menu, .ui-modal { border-radius: var(--radius); }
.ui-empty { background: color-mix(in srgb, var(--c-surface) 70%, transparent); }
.ui-stat b { font: 600 2.1rem/1.1 var(--font-display); }
.ui-stat span { font-family: var(--font-body); }
.ui input[type=text], .ui input[type=email], .ui input[type=password], .ui input[type=search], .ui input[type=number], .ui select, .ui textarea { border-radius: 2px; }
.ui-toast { border-radius: 3px; font-family: var(--font-body); }
.ui-brand { font: 600 1.22rem/1 var(--font-display); letter-spacing: 0; }
.ui-brand span i { font-style: italic; color: var(--c-accent); }
.ui-brand img { border-radius: 4px; }
.ui-nav a { border-radius: 2px; font-family: var(--font-body); font-weight: 600; }
.ui-nav a.on { background: none; color: var(--c-brand); box-shadow: inset 0 -2px 0 var(--c-brand); border-radius: 0; }
.ui-footer { background: var(--c-surface); border-top: 3px double var(--c-line); }
.ui-tabbar a.on { color: var(--c-brand); }

/* theorem-style boxes: <div class="ri-thm"><b>Definition 2.1</b> (name). Text</div> */
.ri-thm { border: 1px solid color-mix(in srgb, var(--c-brand) 28%, var(--c-line)); background: color-mix(in srgb, var(--c-brand) 5%, var(--c-surface)); padding: 14px 18px; margin: 0 0 16px; border-radius: var(--radius); }
.ri-thm > b:first-child { font-family: var(--font-display); font-weight: 700; margin-right: 4px; }
.ri-thm > i.nm { font-style: normal; color: var(--c-muted); }
.ri-thm.red { border-color: color-mix(in srgb, var(--c-accent) 30%, var(--c-line)); background: color-mix(in srgb, var(--c-accent) 5%, var(--c-surface)); }
.ri-thm.green { border-color: color-mix(in srgb, var(--c-good) 30%, var(--c-line)); background: color-mix(in srgb, var(--c-good) 5%, var(--c-surface)); }
.ri-thm p:last-child { margin-bottom: 0; }
.ri-rule { border: 0; border-top: 1px solid var(--c-line); margin: 28px 0; }
.ri-sec { font: 500 .78rem/1 var(--font-mono); color: var(--c-accent); margin-right: 8px; }
@media (max-width: 720px) { body, .ui { font-size: 16px; } }
.ui-seg { flex-wrap: wrap; max-width: 100%; }
.ui .ri-tex { max-width: 100%; }
/* KaTeX's hidden MathML copy is absolutely positioned: keep it inside its formula so it never widens the page. */
.katex { position: relative; }
.katex .katex-mathml { left: 0; top: 0; width: 1px; height: 1px; overflow: hidden; }
.ri-tex, .at-cx > div, .nb-stats { overflow-x: auto; overflow-y: hidden; max-width: 100%; }


/* ===== engine ===== */
.ri-code { position: relative; background: var(--c-code); border: 1px solid var(--c-line); border-radius: var(--radius); overflow: hidden; }
.ri-code pre { margin: 0; padding: 14px 0; overflow: auto; max-height: 640px; font: 400 .8rem/1.6 var(--font-mono); counter-reset: ln; tab-size: 4; }
.ri-code pre .l { display: block; padding: 0 16px 0 0; white-space: pre; }
.ri-code pre .l::before { counter-increment: ln; content: counter(ln); display: inline-block; width: 3.4em; padding-right: 1em; text-align: right; color: var(--c-faint); user-select: none; }
.ri-code .k { color: #7a3e9d; font-weight: 500; } .ri-code .s { color: #2e6b3a; } .ri-code .c { color: #8d8f9f; font-style: italic; }
.ri-code .n { color: #b3261e; } .ri-code .b { color: #1f3a93; } .ri-code .f { color: #1f3a93; font-weight: 700; } .ri-code .d { color: #8a5a00; }
:root[data-theme="dark"] .ri-code .k { color: #d0a3f0; } :root[data-theme="dark"] .ri-code .s { color: #9ad6a6; } :root[data-theme="dark"] .ri-code .n { color: #f5a097; }
:root[data-theme="dark"] .ri-code .b, :root[data-theme="dark"] .ri-code .f { color: #a9bdf6; } :root[data-theme="dark"] .ri-code .d { color: #e6b45a; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .ri-code .k { color: #d0a3f0; } :root:not([data-theme="light"]) .ri-code .s { color: #9ad6a6; }
  :root:not([data-theme="light"]) .ri-code .n { color: #f5a097; } :root:not([data-theme="light"]) .ri-code .b, :root:not([data-theme="light"]) .ri-code .f { color: #a9bdf6; }
  :root:not([data-theme="light"]) .ri-code .d { color: #e6b45a; } }
.ri-code-bar { display: flex; align-items: center; gap: 6px; flex-wrap: wrap; padding: 6px 8px; border-bottom: 1px solid var(--c-line); background: var(--c-surface); }
.ri-code-bar .ri-file { font: 500 .8rem/1 var(--font-mono); padding: 8px 10px; border: 0; background: none; color: var(--c-muted); cursor: pointer; border-radius: 2px; }
.ri-code-bar .ri-file.on { color: var(--c-ink); background: var(--c-code); box-shadow: inset 0 -2px 0 var(--c-accent); }
.ri-code-bar .ui-spacer { min-width: 4px; }
.ri-tex { overflow-x: auto; overflow-y: hidden; padding: 4px 0; }
.ri-tex .katex-display { margin: .4em 0; }
.ri-tex code { white-space: pre-wrap; }
.katex { font-size: 1.08em; }
.ri-role { display: inline-flex; align-items: center; justify-content: center; white-space: nowrap; min-width: 22px; height: 22px; padding: 0 5px; border-radius: 2px; font: italic 600 .95rem/1 var(--font-display); border: 1px solid var(--c-line); background: var(--c-surface); color: var(--c-muted); }
.ri-role sub { font-size: .62em; font-style: normal; margin-left: 1px; }
.ri-role.target { background: var(--c-accent); border-color: var(--c-accent); color: #fff; }
.ri-role.time { background: var(--c-brand); border-color: var(--c-brand); color: var(--c-brand-ink); }
.ri-role.group { color: var(--c-brand); border-color: var(--c-brand); }
.ri-role.feature { color: var(--c-ink); }
.ri-role.ignore { color: var(--c-faint); font-style: normal; }
.ri-hl { background: linear-gradient(104deg, transparent .5%, rgba(255, 214, 64, .55) 2.4%, rgba(255, 214, 64, .42) 96%, transparent 99%); border-radius: 2px; padding: 0 3px; }
:root[data-theme="dark"] .ri-hl { background: linear-gradient(104deg, transparent .5%, rgba(255, 200, 40, .28) 2.4%, rgba(255, 200, 40, .2) 96%, transparent 99%); }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .ri-hl { background: linear-gradient(104deg, transparent .5%, rgba(255, 200, 40, .28) 2.4%, rgba(255, 200, 40, .2) 96%, transparent 99%); } }
.ri-bars { display: inline-grid; grid-template-columns: auto 52px; gap: 3px 6px; align-items: center; font: .75rem/1 var(--font-mono); color: var(--c-muted); }
.ri-bars i { display: block; height: 5px; background: var(--c-surface-2); position: relative; }
.ri-bars i b { position: absolute; inset: 0 auto 0 0; background: var(--c-brand); }
.ri-listing-no { font: 500 .74rem/1 var(--font-mono); color: var(--c-accent); }
.ri-card-link { display: block; text-decoration: none; color: inherit; transition: border-color .15s, transform .15s; }
.ri-card-link:hover { border-color: var(--c-brand); }
.ri-card-link h3 { font-size: 1.12rem; margin: 6px 0 6px; }
.ri-meta { display: flex; gap: 6px 12px; flex-wrap: wrap; align-items: center; font: .78rem/1.3 var(--font-mono); color: var(--c-muted); }

/* ===== landing ===== */
.page-landing .ui-main { overflow-x: clip; }
.lp-hero { position: relative; padding: 64px 0 40px; }
.lp-hero .ui-wrap { position: relative; z-index: 1; display: grid; grid-template-columns: 1.05fr .95fr; gap: 48px; align-items: center; padding-top: 0; padding-bottom: 0; }
.lp-hero h1 { font-size: clamp(2.3rem, 5.4vw, 3.8rem); line-height: 1.04; margin-bottom: 18px; }
.lp-hero h1 em { font-style: normal; color: var(--c-brand); }
.lp-lead { font-size: 1.2rem; color: var(--c-muted); max-width: 34em; margin-bottom: 28px; }
.lp-cta { display: flex; gap: 12px; flex-wrap: wrap; }
.lp-proof { margin-top: 22px; display: flex; gap: 18px; flex-wrap: wrap; color: var(--c-muted); font-size: .92rem; }
.lp-proof span { display: inline-flex; gap: 6px; align-items: center; }
.lp-proof .ui-ic { color: var(--c-good); }
.lp-art { position: relative; min-width: 0; }
.lp-hero .ui-wrap > * { min-width: 0; }
.lp-paper { background: var(--c-surface); border: 1px solid var(--c-line); border-radius: 3px; box-shadow: var(--shadow-lg); padding: 18px 18px 14px; position: relative; }
.lp-paper::after { content: ""; position: absolute; inset: 8px -8px -8px 8px; border: 1px solid var(--c-line); border-radius: 3px; z-index: -1; background: var(--c-bg); }
.lp-cap { font: .74rem/1.3 var(--font-mono); color: var(--c-muted); margin-bottom: 10px; display: flex; justify-content: space-between; gap: 8px; }
.lp-cols { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 4px; margin-bottom: 4px; }
.lp-cols div { border: 1px solid var(--c-line); padding: 6px 4px 5px; text-align: center; font: .72rem/1.2 var(--font-mono); background: var(--c-code); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
.lp-cols .ri-role { margin-bottom: 4px; min-width: 20px; height: 20px; font-size: .85rem; }
.lp-cols .k span.n { background: rgba(255, 214, 64, .5); padding: 0 2px; }
.lp-arrow { text-align: center; font: italic 1.05rem/1 var(--font-display); color: var(--c-muted); margin: 10px 0; }
.lp-rank { display: grid; gap: 5px; }
.lp-rank div { display: grid; grid-template-columns: 18px 1fr 44px; gap: 2px 8px; align-items: center; font-size: .85rem; }
.lp-rank i { display: block; height: 4px; background: var(--c-surface-2); grid-column: 2 / 3; position: relative; }
.lp-rank i b { position: absolute; inset: 0 auto 0 0; background: var(--c-brand); }
.lp-rank .s { font: 600 .82rem/1 var(--font-mono); color: var(--c-brand); text-align: right; }
.lp-rank .r { font: .72rem var(--font-mono); color: var(--c-faint); }
.lp-rank .on .s { color: var(--c-accent); } .lp-rank .on i b { background: var(--c-accent); }
.lp-code { margin-top: 12px; background: var(--c-code); border: 1px solid var(--c-line); padding: 10px 12px; font: .72rem/1.65 var(--font-mono); overflow-x: auto; white-space: pre; }
.lp-code .k { color: #7a3e9d; } .lp-code .s { color: #2e6b3a; } .lp-code .c { color: var(--c-faint); font-style: italic; } .lp-code .n { color: var(--c-accent); }
:root[data-theme="dark"] .lp-code .k { color: #d0a3f0; } :root[data-theme="dark"] .lp-code .s { color: #9ad6a6; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .lp-code .k { color: #d0a3f0; } :root:not([data-theme="light"]) .lp-code .s { color: #9ad6a6; } }
.lp-eq { position: absolute; right: -6px; top: -26px; transform: rotate(2.5deg); background: var(--c-surface); border: 1px solid var(--c-line); padding: 6px 10px; font-size: .85rem; box-shadow: var(--shadow-lg); z-index: 2; }
.lp-hero h1 em { font-style: italic; color: var(--c-brand); }
.lp-math { display: grid; grid-template-columns: repeat(3, 1fr); gap: 14px; }
.lp-math .ui-card { text-decoration: none; color: inherit; display: block; }
.lp-math .ui-card:hover { border-color: var(--c-brand); }
.lp-math .ri-tex { font-size: .92rem; min-height: 54px; display: flex; align-items: center; }
.lp-math h3 { margin: 8px 0 4px; font-size: 1.05rem; }
.lp-math p { margin: 0; color: var(--c-muted); font-size: .9rem; }
.lp-step::before { border-radius: 2px; font-family: var(--font-mono); font-weight: 500; }
.lp-section { padding: 56px 0; }
.lp-section .ui-wrap { padding-top: 0; padding-bottom: 0; }
.lp-section .ui-grid { grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); }
.lp-head { text-align: center; max-width: 640px; margin: 0 auto 34px; }
.lp-head p { color: var(--c-muted); font-size: 1.08rem; }
.lp-steps { display: grid; grid-template-columns: repeat(3, 1fr); gap: 18px; counter-reset: s; }
.lp-step { position: relative; padding-top: 58px; }
.lp-step::before { counter-increment: s; content: counter(s); position: absolute; top: 18px; left: 22px; width: 32px; height: 32px; border-radius: 50%;
  display: grid; place-items: center; background: var(--c-brand); color: var(--c-brand-ink); font: 800 .95rem/1 var(--font-display); }
.lp-feature .ui-ic { width: 26px; height: 26px; color: var(--c-brand); margin-bottom: 12px; }
.lp-feature h3 { margin-bottom: 6px; }
.lp-feature p { color: var(--c-muted); margin: 0; }
.lp-faq { max-width: 760px; margin: 0 auto; display: grid; gap: 10px; }
.lp-faq details { background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 4px 20px; }
.lp-faq summary { cursor: pointer; font-weight: 700; padding: 14px 0; list-style: none; display: flex; justify-content: space-between; gap: 12px; }
.lp-faq summary::-webkit-details-marker { display: none; }
.lp-faq summary::after { content: "+"; color: var(--c-brand); font-size: 1.3rem; line-height: 1; }
.lp-faq details[open] summary::after { content: "–"; }
.lp-faq details p { color: var(--c-muted); margin: 0 0 16px; }
.lp-inds { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; margin-bottom: 16px; }
.lp-ind { display: flex; gap: 8px; align-items: center; padding: 12px; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: 2px; text-decoration: none; color: var(--c-ink); font-size: .9rem; font-weight: 600; min-width: 0; }
.lp-ind:hover { border-color: var(--c-brand); }
.lp-ind .ui-ic { width: 20px; height: 20px; color: var(--c-brand); flex: none; }
.lp-ind span { flex: 1; min-width: 0; line-height: 1.2; }
.lp-ind i { font: normal 500 .74rem/1 var(--font-mono); color: var(--c-faint); }
.lp-cases { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 14px; }
.lp-case { display: block; text-decoration: none; color: inherit; }
.lp-case:hover { border-color: var(--c-brand); }
.lp-case h3 { margin: 6px 0 4px; font-size: 1.1rem; }
.lp-case > p { color: var(--c-muted); font-size: .92rem; margin: 0 0 12px; }
.lp-sig { display: flex; flex-wrap: wrap; gap: 5px; align-items: center; margin-top: 6px; font-size: .82rem; }
.lp-sig .lbl { font: 500 .75rem/1 var(--font-mono); color: var(--c-muted); width: 64px; flex: none; }
.lp-sig code { font: .74rem/1 var(--font-mono); background: var(--c-code); border: 1px solid var(--c-line); padding: 3px 5px; border-radius: 2px; }
.lp-sig.plus span:not(.lbl) { font-size: .78rem; padding: 3px 6px; border-radius: 2px; background: var(--c-good-soft); color: var(--c-good); }
.lp-sig b { font-family: var(--font-display); }
.lp-band { background: var(--c-brand); color: var(--c-brand-ink); border-radius: calc(var(--radius) + 8px); padding: 44px; display: flex; gap: 24px; align-items: center; justify-content: space-between; flex-wrap: wrap; }
.lp-band h2 { color: var(--c-brand-ink); margin: 0 0 6px; }
.lp-band p { margin: 0; opacity: .8; }
@media (max-width: 860px) {
  .lp-math { grid-template-columns: 1fr; }
  .lp-inds { grid-template-columns: repeat(2, minmax(0, 1fr)); }
  .lp-cases { grid-template-columns: minmax(0, 1fr); }
  .lp-eq { display: none; }
  .lp-hero { padding-top: 36px; }
  .lp-hero .ui-wrap { grid-template-columns: minmax(0, 1fr); gap: 28px; }
  .lp-art { max-width: 460px; width: 100%; margin: 0 auto; }
  .lp-steps { grid-template-columns: minmax(0, 1fr); }
  .lp-band { padding: 30px 22px; }
  .lp-section { padding: 40px 0; }
}
/* Watch section: the app's YouTube video. Click to play; nothing loads from YouTube before the click. */
.ytf .ytf-in { display: grid; grid-template-columns: minmax(0, .8fr) minmax(0, 1.2fr); gap: 40px; align-items: center; max-width: 1040px; margin: 0 auto; }
.ytf .ytf-copy h2 { margin: 6px 0 10px; }
.ytf .ytf-copy p { color: var(--c-muted); margin: 0 0 16px; }
.ytf .ytf-link { font-weight: 700; }
.ytf .ytf-frame { position: relative; aspect-ratio: 16 / 9; border-radius: var(--radius, 16px); overflow: hidden; background: #000; border: 1px solid var(--c-line); box-shadow: var(--shadow-lg); }
.ytf .ytf-frame iframe { position: absolute; inset: 0; width: 100%; height: 100%; border: 0; }
.ytf .ytf-cover { position: absolute; inset: 0; width: 100%; height: 100%; min-height: 0; padding: 0; margin: 0; border: 0; border-radius: 0; background: none; box-shadow: none; color: inherit; font: inherit; cursor: pointer; display: block; }
.ytf .ytf-cover img { width: 100%; height: 100%; object-fit: cover; display: block; transition: transform .4s ease, filter .3s; }
@media (hover: hover) and (pointer: fine) { .ytf .ytf-cover:hover img { transform: scale(1.02); filter: brightness(.92); } }
.ytf .ytf-play { position: absolute; left: 50%; top: 50%; transform: translate(-50%, -50%); line-height: 0; filter: drop-shadow(0 6px 18px rgba(0, 0, 0, .35)); transition: transform .2s; }
@media (hover: hover) and (pointer: fine) { .ytf .ytf-cover:hover .ytf-play { transform: translate(-50%, -50%) scale(1.08); } }
.ytf .ytf-cover:focus-visible .ytf-play { transform: translate(-50%, -50%) scale(1.08); }
.ytf .ytf-cover:focus-visible { outline: 3px solid var(--c-brand); outline-offset: -3px; }
.ytf .ytf-len { position: absolute; right: 10px; bottom: 10px; background: rgba(0, 0, 0, .78); color: #fff; font-size: .78rem; font-weight: 700; line-height: 1.3; padding: 3px 7px; border-radius: 5px; }
.ytf .ytf-note { font-size: .8rem; color: var(--c-muted); margin: 10px 2px 0; }
@media (max-width: 800px) { .ytf .ytf-in { grid-template-columns: minmax(0, 1fr); gap: 22px; } }
@media (max-width: 480px) { .ytf .ytf-play svg { width: 56px; height: 40px; } }

/* ===== lab ===== */
.lb-head { margin-bottom: 26px; max-width: 760px; }
.lb-head h1 { font-size: clamp(1.8rem, 3.6vw, 2.5rem); margin-bottom: 8px; }
.lb-head h1 em { color: var(--c-brand); }
.lb-grid > * { min-width: 0; }
.lb-grid { display: grid; grid-template-columns: minmax(0, 1fr) 380px; gap: 26px; align-items: start; }
.lb-sec { background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 20px 22px; margin-bottom: 18px; }
.lb-sec > h2 { font-size: 1.25rem; display: flex; align-items: baseline; gap: 4px; margin-bottom: 4px; }
.lb-sec > .lb-lead { color: var(--c-muted); font-size: .95rem; margin-bottom: 14px; }
.lb-samples { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; margin-bottom: 10px; font-size: .88rem; color: var(--c-muted); }
.lb-chip { font: 500 .78rem/1 var(--font-mono); border: 1px dashed color-mix(in srgb, var(--c-brand) 45%, var(--c-line)); background: none; color: var(--c-brand); padding: 7px 9px; border-radius: 2px; cursor: pointer; }
.lb-chip:hover { background: var(--c-brand-soft); border-style: solid; }
a.lb-chip.lb-cases { text-decoration: none; display: inline-flex; gap: 5px; align-items: center; border-style: solid; }
.lb-cases .ui-ic { width: 14px; height: 14px; }
.ui textarea.lb-paste { font: 400 .84rem/1.5 var(--font-mono); min-height: 104px; white-space: pre; overflow-x: auto; background: var(--c-code); }
.lb-info { display: flex; gap: 8px 14px; flex-wrap: wrap; align-items: center; margin-top: 8px; font: .78rem/1.3 var(--font-mono); color: var(--c-muted); }
.lb-info .ui-ic { width: 14px; height: 14px; color: var(--c-good); }
.lb-notation { margin-top: 12px; padding: 10px 14px; border: 1px solid color-mix(in srgb, var(--c-brand) 25%, var(--c-line)); background: var(--c-code); border-radius: 2px; }
.lb-legend { display: flex; gap: 6px 14px; flex-wrap: wrap; font-size: .82rem; color: var(--c-muted); margin-bottom: 12px; }
.lb-legend span { display: inline-flex; gap: 5px; align-items: center; }
.lb-cols { display: grid; gap: 6px; }
.lb-col { display: grid; grid-template-columns: 34px minmax(0, 1fr) 150px auto 36px 104px; gap: 8px; align-items: center; padding: 6px 8px; border: 1px solid var(--c-line); border-radius: 2px; background: var(--c-bg); }
.lb-col.is-ignore { opacity: .55; }
.lb-col.is-target { border-color: var(--c-accent); box-shadow: inset 3px 0 0 var(--c-accent); }
.lb-col.is-time { box-shadow: inset 3px 0 0 var(--c-brand); }
.lb-idx { font: italic 600 1rem/1 var(--font-display); text-align: center; color: var(--c-muted); }
.lb-idx sub { font-size: .7em; font-style: normal; }
.lb-name { font: 500 .86rem/1.3 var(--font-mono); overflow-wrap: anywhere; min-width: 0; }
.lb-col.key .lb-name span { background: linear-gradient(104deg, transparent .5%, rgba(255, 214, 64, .6) 2.4%, rgba(255, 214, 64, .45) 96%, transparent 99%); padding: 1px 4px; border-radius: 2px; }
:root[data-theme="dark"] .lb-col.key .lb-name span { background: rgba(255, 200, 40, .26); }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .lb-col.key .lb-name span { background: rgba(255, 200, 40, .26); } }
.lb-miss { font: .75rem/1 var(--font-mono); color: var(--c-warn); margin-left: 6px; }
.ui .lb-col select { min-height: 34px; padding: 4px 8px; font-size: .82rem; font-family: var(--font-mono); }
.lb-roles { display: inline-flex; border: 1px solid var(--c-line); border-radius: 2px; overflow: hidden; background: var(--c-surface); }
.lb-roles button { width: 32px; height: 32px; border: 0; border-right: 1px solid var(--c-line); background: none; cursor: pointer; font: italic 600 1rem/1 var(--font-display); color: var(--c-muted); }
.lb-roles button:last-child { border-right: 0; font-style: normal; }
.lb-roles button:hover { background: var(--c-surface-2); color: var(--c-ink); }
.lb-roles button.on[data-role="target"] { background: var(--c-accent); color: #fff; }
.lb-roles button.on[data-role="time"] { background: var(--c-brand); color: var(--c-brand-ink); }
.lb-roles button.on[data-role="group"] { background: var(--c-brand-soft); color: var(--c-brand); }
.lb-roles button.on[data-role="feature"] { background: var(--c-ink); color: var(--c-bg); }
.lb-roles button.on[data-role="ignore"] { background: var(--c-surface-2); color: var(--c-ink); }
.lb-star { width: 34px; height: 34px; border: 1px solid var(--c-line); border-radius: 2px; background: var(--c-surface); cursor: pointer; font-size: 1.05rem; color: var(--c-faint); line-height: 1; }
.lb-star.on { color: #b8860b; border-color: #e3b341; background: rgba(255, 214, 64, .25); }
.lb-known { font-size: .78rem; color: var(--c-muted); display: inline-flex; gap: 5px; align-items: center; cursor: pointer; white-space: nowrap; }
.lb-known input { accent-color: var(--c-brand); }
.lb-known.off { visibility: hidden; }
.lb-problem { margin-top: 12px; }
.lb-task .ui-seg { flex-wrap: wrap; }
.lb-row3 { display: grid; grid-template-columns: 1fr 1fr; gap: 18px; margin-top: 16px; }
.lb-field-label { display: block; font-weight: 600; font-size: .88rem; margin-bottom: 6px; }
.lb-fc { display: flex; gap: 10px; flex-wrap: wrap; margin-top: 12px; align-items: end; }
.lb-fc label { display: grid; gap: 4px; font-size: .85rem; font-weight: 600; }
.ui .lb-fc select, .ui .lb-fc input { min-height: 38px; padding: 6px 10px; width: auto; }
.lb-simplex svg { width: 100%; max-width: 250px; display: block; touch-action: none; cursor: crosshair; user-select: none; }
.lb-simplex .tri { fill: var(--c-code); stroke: var(--c-ink); stroke-width: 1.2; }
.lb-simplex .gl { stroke: var(--c-line); stroke-width: .8; }
.lb-simplex .lbl { font: italic 600 12px var(--font-display); fill: var(--c-ink); }
.lb-simplex .pt { fill: var(--c-accent); stroke: var(--c-surface); stroke-width: 2; }
.lb-simplex .w { font: .76rem/1.3 var(--font-mono); color: var(--c-muted); margin-top: 4px; }
.lb-side { position: sticky; top: calc(var(--header-h) + 14px); max-height: calc(100vh - var(--header-h) - 28px); overflow: auto; }
.lb-side .lb-sec { margin-bottom: 0; }
.lb-formula { font-size: .9rem; margin: 2px 0 12px; overflow-x: auto; }
.lb-ranks { display: grid; gap: 6px; }
.lb-rank { display: grid; grid-template-columns: 22px minmax(0, 1fr) auto; gap: 4px 10px; align-items: start; text-align: left; width: 100%; padding: 9px 10px;
  border: 1px solid var(--c-line); border-radius: 2px; background: var(--c-bg); cursor: pointer; color: var(--c-ink); font: inherit; }
.lb-rank:hover { border-color: var(--c-brand); }
.lb-rank.on { border-color: var(--c-brand); background: var(--c-brand-soft); box-shadow: inset 3px 0 0 var(--c-brand); }
.lb-rk { font: 500 .78rem/1.6 var(--font-mono); color: var(--c-faint); }
.lb-rank b { font-family: var(--font-display); font-size: 1.02rem; font-weight: 600; }
.lb-rank .fam { font-size: .78rem; color: var(--c-muted); }
.lb-score { font: 600 1.05rem/1.4 var(--font-mono); color: var(--c-brand); }
.lb-bar { grid-column: 2 / -1; height: 4px; background: var(--c-surface-2); position: relative; margin-top: 2px; }
.lb-bar i { position: absolute; inset: 0 auto 0 0; background: var(--c-brand); }
.lb-rank.on .lb-bar i { background: var(--c-accent); }
.lb-why { grid-column: 2 / -1; display: grid; gap: 2px; margin-top: 6px; font-size: .8rem; }
.lb-why div { display: flex; gap: 8px; }
.lb-why .v { font: 500 .74rem/1.5 var(--font-mono); min-width: 34px; text-align: right; }
.lb-why .pos { color: var(--c-good); } .lb-why .neg { color: var(--c-bad); } .lb-why .zero { color: var(--c-muted); }
.lb-why .parts { color: var(--c-muted); font: .72rem/1.5 var(--font-mono); margin-top: 3px; }
.lb-badges { grid-column: 2 / -1; display: flex; gap: 4px; flex-wrap: wrap; }
.lb-more { margin-top: 10px; }
.lb-code-head { display: flex; gap: 12px; align-items: flex-end; justify-content: space-between; flex-wrap: wrap; margin-bottom: 12px; }
.lb-code-head h2 { margin: 0; font-size: 1.35rem; }
.lb-run { font: .78rem/1.5 var(--font-mono); color: var(--c-muted); margin: 14px 0 0; overflow-wrap: anywhere; }
.lb-empty-code { padding: 30px; text-align: center; color: var(--c-muted); border: 1px dashed var(--c-line); border-radius: var(--radius); }
.lb-saved { display: inline-flex; gap: 6px; align-items: center; }
.ui .lb-saved select { min-height: 34px; padding: 4px 8px; font-size: .82rem; width: auto; max-width: 220px; }
@media (max-width: 1080px) {
  .lb-grid { grid-template-columns: minmax(0, 1fr); }
  .lb-side { position: static; max-height: none; }
}
@media (max-width: 720px) {
  .lb-sec { padding: 16px 14px; }
  .lb-col { grid-template-columns: 30px minmax(0, 1fr) auto 36px; grid-template-areas: "i n n s" "t t r r" "k k k k"; }
  .lb-col .lb-roles button { width: 30px; }
  .lb-col .lb-idx { grid-area: i; } .lb-col .lb-name { grid-area: n; } .lb-col .lb-star { grid-area: s; }
  .lb-col select { grid-area: t; } .lb-col .lb-roles { grid-area: r; justify-self: end; } .lb-col .lb-known { grid-area: k; }
  .lb-col .lb-known.off { display: none; }
  .lb-row3 { grid-template-columns: minmax(0, 1fr); }
  .lb-code-head .ui-btn span { display: none; }
}

/* ===== atlas ===== */
.at-head { display: flex; gap: 18px; justify-content: space-between; align-items: flex-end; flex-wrap: wrap; margin-bottom: 18px; }
.at-head h1 { margin: 0; }
.at-head p { margin: 6px 0 0; max-width: 640px; }
.ui input.at-search { max-width: 320px; font-family: var(--font-mono); font-size: .9rem; }
.at-fig { margin: 0 0 28px; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 14px 14px 10px; }
.at-fig svg { width: 100%; height: auto; display: block; }
.at-fig figcaption { font-size: .88rem; color: var(--c-muted); margin-top: 6px; }
.at-fig figcaption b { font-family: var(--font-display); color: var(--c-ink); }
.at-fig .ax { stroke: var(--c-ink); stroke-width: 1; }
.at-fig .gl { stroke: var(--c-line); stroke-width: .7; stroke-dasharray: 2 3; }
.at-fig .tk { font: 10px var(--font-mono); fill: var(--c-muted); }
.at-fig .al { font: italic 13px var(--font-display); fill: var(--c-ink); }
.at-fig a text { font: 10.5px var(--font-mono); fill: var(--c-ink); }
.at-fig a:hover text { fill: var(--c-brand); text-decoration: underline; }
.at-fig a circle { stroke: var(--c-surface); stroke-width: 1.5; }
.fam-baseline { --fc: var(--c-faint); } .fam-linear { --fc: var(--c-brand); } .fam-kernel { --fc: #a86400; } .fam-prob { --fc: #7a3e9d; }
.fam-trees { --fc: var(--c-good); } .fam-boosting { --fc: var(--c-accent); } .fam-neural { --fc: #0e7490; } .fam-classical { --fc: var(--c-ink); }
:root[data-theme="dark"] .fam-prob { --fc: #c69ae6; } :root[data-theme="dark"] .fam-neural { --fc: #5ec8dd; } :root[data-theme="dark"] .fam-kernel { --fc: #e6b45a; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .fam-prob { --fc: #c69ae6; } :root:not([data-theme="light"]) .fam-neural { --fc: #5ec8dd; } :root:not([data-theme="light"]) .fam-kernel { --fc: #e6b45a; } }
.at-dot { fill: var(--fc); }
.at-key { display: flex; flex-wrap: wrap; gap: 4px 14px; font-size: .8rem; color: var(--c-muted); margin-top: 6px; }
.at-key span { display: inline-flex; align-items: center; gap: 5px; }
.at-key i { width: 9px; height: 9px; border-radius: 50%; background: var(--fc); display: inline-block; }
.at-fam { margin: 30px 0 10px; }
.at-fam h2 { font-size: 1.35rem; margin: 0 0 4px; display: flex; gap: 8px; align-items: baseline; }
.at-fam h2::before { content: ""; width: 10px; height: 10px; border-radius: 50%; background: var(--fc); flex: none; align-self: center; }
.at-fam p { color: var(--c-muted); margin: 0 0 12px; max-width: 760px; }
.at-rows { display: grid; gap: 0; border-top: 1px solid var(--c-line); }
.at-row { display: grid; grid-template-columns: 54px minmax(180px, 1.1fr) 2fr 150px; gap: 14px; align-items: center; padding: 12px 6px; border-bottom: 1px solid var(--c-line); text-decoration: none; color: inherit; }
.at-row:hover { background: color-mix(in srgb, var(--c-brand-soft) 55%, transparent); }
.at-row .no { font: 500 .78rem/1 var(--font-mono); color: var(--c-accent); }
.at-row b { font-family: var(--font-display); font-size: 1.08rem; font-weight: 600; display: block; }
.at-row .sum { color: var(--c-muted); font-size: .93rem; }
.at-tasks { display: inline-flex; gap: 3px; margin-top: 4px; }
.at-tasks span { font: 500 .75rem/1 var(--font-mono); padding: 3px 5px; border: 1px solid var(--c-line); color: var(--c-muted); border-radius: 2px; }
.at-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(280px, 1fr)); gap: 14px; }
.at-card { display: block; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 16px 18px; text-decoration: none; color: inherit; }
.at-card:hover { border-color: var(--c-brand); }
.at-card h3 { font-size: 1.08rem; margin: 6px 0; }
.at-card .ri-tex { font-size: .9rem; color: var(--c-ink); }
.at-card p { color: var(--c-muted); font-size: .92rem; margin: 6px 0 0; }
.at-cmp-wrap { overflow-x: auto; border: 1px solid var(--c-line); border-radius: var(--radius); background: var(--c-surface); }
.at-cmp { border-collapse: collapse; width: 100%; font-size: .88rem; min-width: 820px; }
.at-cmp th, .at-cmp td { padding: 8px 10px; border-bottom: 1px solid var(--c-line); text-align: left; white-space: nowrap; }
.at-cmp th { font: 500 .74rem/1.2 var(--font-mono); color: var(--c-muted); cursor: pointer; user-select: none; position: sticky; top: 0; background: var(--c-surface); }
.at-cmp th.on { color: var(--c-brand); }
.at-cmp td.c { text-align: center; font-family: var(--font-mono); }
.at-cmp td a { font-family: var(--font-display); font-weight: 600; text-decoration: none; }
.at-cmp .yes { color: var(--c-good); } .at-cmp .no { color: var(--c-faint); }
/* entry */
.at-crumbs { font: .8rem/1.4 var(--font-mono); color: var(--c-muted); margin-bottom: 14px; }
.at-crumbs a { color: var(--c-muted); }
.at-entry > *, .at-side > * { min-width: 0; }
.at-entry { display: grid; grid-template-columns: minmax(0, 1fr) 280px; gap: 32px; align-items: start; }
.at-entry h1 { font-size: clamp(1.9rem, 4vw, 2.7rem); margin-bottom: 8px; }
.at-lead { font-size: 1.12rem; color: var(--c-muted); margin-bottom: 22px; }
.at-entry h2 { font-size: 1.2rem; margin: 26px 0 10px; }
.at-two { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.at-list { margin: 0; padding-left: 1.1em; }
.at-list li { margin: 4px 0; }
.at-pc li::marker { content: "\2713  "; color: var(--c-good); }
.at-cc li::marker { content: "\2717  "; color: var(--c-bad); }
.at-params { width: 100%; border-collapse: collapse; font-size: .92rem; }
.at-params th, .at-params td { text-align: left; padding: 8px 10px; border-bottom: 1px solid var(--c-line); vertical-align: top; }
.at-params th { font: 500 .74rem/1.2 var(--font-mono); color: var(--c-muted); }
.at-params td:first-child { font-family: var(--font-mono); font-size: .84rem; overflow-wrap: anywhere; min-width: 7em; }
.at-params td, .at-params th { overflow-wrap: anywhere; }
.at-side { position: sticky; top: calc(var(--header-h) + 16px); display: grid; gap: 14px; }
.at-side .ui-card { padding: 16px; }
.at-side .ri-bars { grid-template-columns: auto 1fr; width: 100%; gap: 6px 10px; }
.at-side .ri-bars i { height: 7px; }
.at-side h4 { font: 500 .74rem/1 var(--font-mono); color: var(--c-muted); margin: 0 0 10px; text-transform: uppercase; letter-spacing: .06em; }
.at-caps { display: grid; gap: 5px; font-size: .88rem; }
.at-caps span { display: flex; gap: 8px; align-items: center; }
.at-caps .ui-ic { width: 15px; height: 15px; }
.at-caps .y { color: var(--c-good); } .at-caps .n { color: var(--c-faint); }
.at-cx { font-size: .9rem; display: grid; gap: 6px; }
.at-nav { display: flex; justify-content: space-between; gap: 10px; margin-top: 36px; padding-top: 16px; border-top: 1px solid var(--c-line); flex-wrap: wrap; }
.at-folds svg { width: 100%; max-width: 560px; display: block; }
.at-folds .t { fill: var(--c-brand); } .at-folds .v { fill: var(--c-accent); } .at-folds .u { fill: var(--c-surface-2); } .at-folds .g { fill: var(--c-warn-soft); stroke: var(--c-warn); stroke-dasharray: 2 2; }
.at-folds text { font: 10px var(--font-mono); fill: var(--c-muted); }
.at-example summary { cursor: pointer; font-weight: 600; padding: 10px 0; }
.at-cases .ui-stack > * + * { margin-top: 6px; }
.at-cases .ui-stack a { text-decoration: none; display: block; }
.at-cases .no { font: .74rem var(--font-mono); color: var(--c-accent); margin-right: 6px; }
.at-cases .top { font: 500 .75rem/1 var(--font-mono); color: var(--c-good); border: 1px solid currentColor; padding: 1px 3px; border-radius: 2px; }
.at-cases > a { display: inline-flex; gap: 4px; align-items: center; margin-top: 10px; }
.at-cases > a .ui-ic { width: 14px; height: 14px; }
@media (max-width: 900px) {
  .at-entry { grid-template-columns: minmax(0, 1fr); }
  .at-side { position: static; }
  .at-row { grid-template-columns: 40px minmax(0, 1fr); }
  .at-row .sum, .at-row .ri-bars { grid-column: 2; }
  .at-two { grid-template-columns: minmax(0, 1fr); }
}

/* ===== cases ===== */
.cs-head { display: flex; gap: 18px; justify-content: space-between; align-items: flex-end; flex-wrap: wrap; margin-bottom: 20px; }
.cs-head h1 { margin: 0; }
.cs-head p { margin: 6px 0 0; max-width: 680px; }
.ui input.cs-search { max-width: 320px; font-family: var(--font-mono); font-size: .9rem; }
.cs-fig { margin: 0 0 22px; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 12px 12px 10px; }
.cs-fig figcaption { font-size: .88rem; color: var(--c-muted); margin-top: 8px; }
.cs-fig figcaption b { font-family: var(--font-display); color: var(--c-ink); }
.cs-mx-wrap { overflow-x: auto; }
.cs-mx { border-collapse: separate; border-spacing: 3px; min-width: 640px; width: 100%; font-size: .82rem; }
.cs-mx th { font-weight: 500; color: var(--c-muted); }
.cs-mx thead th { vertical-align: bottom; height: 118px; padding: 0 0 4px; }
.cs-mx thead th button { writing-mode: vertical-rl; transform: rotate(180deg); white-space: nowrap; font: 500 .74rem/1 var(--font-mono); color: var(--c-muted); background: none; border: 0; cursor: pointer; padding: 2px; }
.cs-mx thead th button:hover, .cs-mx thead th button.on { color: var(--c-brand); }
.cs-mx tbody th { text-align: left; white-space: nowrap; padding-right: 8px; position: sticky; left: 0; z-index: 1; background: var(--c-surface); }
.cs-mx tbody th button { display: inline-flex; gap: 7px; align-items: center; background: none; border: 0; cursor: pointer; color: var(--c-ink); font: 500 .84rem/1.2 var(--font-body); padding: 2px 0; }
.cs-mx tbody th button:hover, .cs-mx tbody th button.on { color: var(--c-brand); }
.cs-mx tbody th .ui-ic { width: 16px; height: 16px; color: var(--c-brand); }
.cs-mx td { padding: 0; text-align: center; }
.cs-mx td button { width: 100%; min-width: 34px; height: 30px; border: 1px solid transparent; border-radius: 2px; cursor: pointer; font: 600 .8rem/1 var(--font-mono);
  color: var(--c-ink); background: color-mix(in srgb, var(--c-brand) var(--a), transparent); }
.cs-mx td button:hover { border-color: var(--c-brand); }
.cs-mx td button.on { border-color: var(--c-accent); box-shadow: inset 0 0 0 1px var(--c-accent); }
.cs-mx td .z { color: var(--c-faint); font-family: var(--font-mono); }
.cs-mx td.tot, .cs-mx th.tot { font: 500 .78rem/1 var(--font-mono); color: var(--c-muted); }
.cs-chips { display: flex; flex-wrap: wrap; gap: 6px; margin-bottom: 14px; }
.cs-chip { display: inline-flex; gap: 6px; align-items: center; font: 500 .82rem/1 var(--font-body); border: 1px solid var(--c-line); background: var(--c-surface); color: var(--c-ink);
  padding: 7px 10px; border-radius: 2px; cursor: pointer; text-decoration: none; }
.cs-chip .ui-ic { width: 15px; height: 15px; color: var(--c-brand); }
.cs-chip .n { font: .72rem/1 var(--font-mono); color: var(--c-faint); }
.cs-chip:hover { border-color: var(--c-brand); }
.cs-chip.on { border-color: var(--c-brand); background: var(--c-brand-soft); color: var(--c-brand); }
.cs-filter { display: flex; flex-wrap: wrap; gap: 8px; align-items: center; margin: 0 0 6px; font-size: .9rem; color: var(--c-muted); }
.cs-filter b { color: var(--c-ink); font-family: var(--font-display); }
.cs-ind { margin: 26px 0 8px; }
.cs-ind h2 { font-size: 1.3rem; margin: 0 0 4px; display: flex; gap: 8px; align-items: center; }
.cs-ind h2 .ui-ic { width: 20px; height: 20px; color: var(--c-brand); }
.cs-ind > p { color: var(--c-muted); margin: 0 0 10px; max-width: 760px; }
.cs-rows { display: grid; border-top: 1px solid var(--c-line); }
.cs-row { display: grid; grid-template-columns: 52px minmax(200px, 1.1fr) minmax(0, 1.6fr) 190px; gap: 14px; align-items: center; padding: 11px 6px; border-bottom: 1px solid var(--c-line); text-decoration: none; color: inherit; }
.cs-row > * { min-width: 0; }
.cs-row:hover { background: color-mix(in srgb, var(--c-brand-soft) 55%, transparent); }
.cs-row .no { font: 500 .78rem/1 var(--font-mono); color: var(--c-accent); }
.cs-row b { font-family: var(--font-display); font-size: 1.04rem; font-weight: 600; display: block; }
.cs-row .q { color: var(--c-muted); font-size: .92rem; }
.cs-tag { display: inline-block; margin-top: 4px; font: 500 .75rem/1 var(--font-mono); padding: 3px 6px; border: 1px solid var(--c-line); color: var(--c-muted); border-radius: 2px; }
.cs-mods { display: flex; flex-wrap: wrap; gap: 4px; justify-content: flex-end; }
.cs-mods span { font: 500 .75rem/1 var(--font-mono); padding: 4px 6px; background: var(--c-code); border: 1px solid var(--c-line); border-radius: 2px; color: var(--c-ink); }
.cs-mods span:first-child { border-color: var(--c-brand); color: var(--c-brand); }
.cs-limits { margin-top: 40px; }
.cs-limits ul { margin: 8px 0 0; padding-left: 1.1em; display: grid; gap: 6px; }
.cs-limits li b { font-family: var(--font-display); }
/* one case */
.cs-crumbs { font: .8rem/1.4 var(--font-mono); color: var(--c-muted); margin-bottom: 14px; }
.cs-crumbs a { color: var(--c-muted); }
.cs-entry { display: grid; grid-template-columns: minmax(0, 1fr) 290px; gap: 32px; align-items: start; }
.cs-entry > *, .cs-side > * { min-width: 0; }
.cs-entry h1 { font-size: clamp(1.8rem, 4vw, 2.6rem); margin: 6px 0 10px; }
.cs-lead { font-size: 1.14rem; color: var(--c-muted); margin: 12px 0 20px; }
.cs-entry h2 { font-size: 1.22rem; margin: 30px 0 6px; display: flex; align-items: baseline; gap: 2px; }
.cs-entry h2 + .cs-sub { color: var(--c-muted); font-size: .94rem; margin: 0 0 12px; }
.cs-cols { width: 100%; border-collapse: collapse; font-size: .9rem; }
.cs-cols td { padding: 7px 8px; border-bottom: 1px solid var(--c-line); vertical-align: middle; }
.cs-cols td:first-child { width: 44px; }
.cs-cols td.nm { font-family: var(--font-mono); font-size: .84rem; overflow-wrap: anywhere; }
.cs-cols td.ty { color: var(--c-muted); font-size: .82rem; white-space: nowrap; }
.cs-cols .k { font-size: .74rem; color: #8a6400; white-space: nowrap; }
.cs-cols .kn { font-size: .74rem; color: var(--c-brand); white-space: nowrap; }
.cs-sigs { display: grid; gap: 10px; }
.cs-sig { display: grid; grid-template-columns: 26px minmax(0, 1fr); gap: 4px 10px; padding: 12px 14px; border: 1px solid color-mix(in srgb, var(--c-good) 35%, var(--c-line)); border-radius: 2px; background: var(--c-surface); cursor: pointer; }
.cs-sig.off { border-left-color: var(--c-line); background: var(--c-bg); }
.cs-sig.off .cs-sig-body { opacity: .6; }
.cs-sig input { width: 18px; height: 18px; margin: 3px 0 0; accent-color: var(--c-good); cursor: pointer; }
.cs-sig b { font-family: var(--font-display); font-size: 1.04rem; }
.cs-sig .src { font: .74rem/1.3 var(--font-mono); color: var(--c-muted); margin-left: 6px; }
.cs-sig p { margin: 4px 0 6px; font-size: .93rem; }
.cs-sig .meta { display: flex; flex-wrap: wrap; gap: 6px; align-items: center; font: .74rem/1.3 var(--font-mono); color: var(--c-muted); }
.cs-sig .meta code { background: var(--c-code); border: 1px solid var(--c-line); padding: 2px 5px; border-radius: 2px; color: var(--c-ink); overflow-wrap: anywhere; }
.cs-sig .ign { color: var(--c-warn); }
.cs-models { display: grid; gap: 6px; }
.cs-model { display: grid; grid-template-columns: 26px minmax(0, 1fr) auto; gap: 2px 10px; align-items: start; padding: 10px 12px; border: 1px solid var(--c-line); border-radius: 2px; background: var(--c-bg); cursor: pointer; text-align: left; color: var(--c-ink); font: inherit; width: 100%; }
.cs-model:hover { border-color: var(--c-brand); }
.cs-model.on { border-color: var(--c-brand); background: var(--c-brand-soft); box-shadow: inset 3px 0 0 var(--c-brand); }
.cs-model .rk { font: 500 .8rem/1.5 var(--font-mono); color: var(--c-faint); }
.cs-model b { font-family: var(--font-display); font-size: 1.04rem; font-weight: 600; }
.cs-model .fam { font-size: .78rem; color: var(--c-muted); margin-left: 6px; }
.cs-model .why { grid-column: 2 / 3; font-size: .9rem; color: var(--c-muted); }
.cs-model a { font-size: .8rem; white-space: nowrap; display: inline-flex; gap: 3px; align-items: center; }
.cs-model a .ui-ic, .cs-entry .ui-badge .ui-ic { width: 13px; height: 13px; }
.cs-checks { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 12px; }
.cs-checks .ui-card { padding: 14px; }
.cs-checks h4, .cs-side h4 { font: 500 .74rem/1 var(--font-mono); color: var(--c-muted); margin: 0 0 10px; text-transform: uppercase; letter-spacing: .06em; }
.cs-links { display: flex; flex-wrap: wrap; gap: 6px; }
.cs-links a { font: 500 .78rem/1.2 var(--font-mono); padding: 5px 7px; border: 1px solid var(--c-line); border-radius: 2px; text-decoration: none; background: var(--c-surface); }
.cs-links a:hover { border-color: var(--c-brand); }
.cs-side { position: sticky; top: calc(var(--header-h) + 16px); display: grid; gap: 14px; }
.cs-side .ui-card { padding: 16px; }
.cs-glance { display: grid; grid-template-columns: auto minmax(0, 1fr); gap: 6px 12px; font-size: .9rem; margin: 0; }
.cs-glance dt { color: var(--c-muted); font: .78rem/1.6 var(--font-mono); }
.cs-glance dd { margin: 0; }
.cs-same a { display: block; padding: 5px 0; border-bottom: 1px solid var(--c-line); text-decoration: none; font-size: .92rem; }
.cs-same a:last-child { border-bottom: 0; }
.cs-same .no { font: .74rem var(--font-mono); color: var(--c-accent); margin-right: 6px; }
.cs-nav { display: flex; justify-content: space-between; gap: 10px; margin-top: 36px; padding-top: 16px; border-top: 1px solid var(--c-line); flex-wrap: wrap; }
.cs-codehead [data-code-title] { margin-left: .3em; }
.cs-entry .cs-lead { margin-top: 14px; }
.cs-codehead { display: flex; justify-content: space-between; align-items: baseline; gap: 10px; flex-wrap: wrap; }
@media (max-width: 900px) {
  .cs-entry { grid-template-columns: minmax(0, 1fr); }
  .cs-side { position: static; }
  .cs-row { grid-template-columns: 40px minmax(0, 1fr); }
  .cs-row .q, .cs-row .cs-mods { grid-column: 2; }
  .cs-mods { justify-content: flex-start; }
  .cs-checks { grid-template-columns: minmax(0, 1fr); }
}

/* ===== notebook ===== */
.nb-head { display: flex; justify-content: space-between; align-items: flex-end; gap: 16px; flex-wrap: wrap; margin-bottom: 18px; }
.nb-head h1 { margin: 0; }
.nb-stats { font-size: .95rem; color: var(--c-muted); margin-top: 6px; overflow-x: auto; }
.nb-grid > * { min-width: 0; }
.nb-grid { display: grid; grid-template-columns: minmax(0, 1fr) 300px; gap: 26px; align-items: start; }
.nb-tools { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; margin-bottom: 12px; }
.ui .nb-tools input[type=search] { max-width: 260px; min-height: 38px; padding: 7px 11px; font-family: var(--font-mono); font-size: .86rem; }
.nb-list { display: grid; gap: 10px; }
.nb-item { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 6px 14px; padding: 14px 16px; }
.nb-item h3 { margin: 4px 0 4px; font-size: 1.1rem; }
.nb-item h3 a { color: var(--c-ink); text-decoration: none; }
.nb-item h3 a:hover { color: var(--c-brand); }
.nb-item p { margin: 4px 0 0; color: var(--c-muted); font-size: .92rem; overflow-wrap: anywhere; }
.nb-item .acts { display: flex; gap: 4px; align-items: start; }
.nb-star { font-size: 1.15rem; color: var(--c-faint); background: none; border: 0; cursor: pointer; width: 36px; height: 36px; }
.nb-star.on { color: #c99400; }
.nb-ds { display: grid; gap: 8px; }
.nb-ds .ui-item { padding: 12px 14px; align-items: center; }
.nb-ds .ui-item h3 { font-size: 1rem; }
.nb-lemma .ri-tex { font-size: .92rem; }
.nb-lemma p { font-size: .93rem; }
.nb-start { display: grid; grid-template-columns: repeat(auto-fill, minmax(200px, 1fr)); gap: 10px; margin-top: 14px; }
.nb-start button { text-align: left; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 12px 14px; cursor: pointer; font: inherit; color: var(--c-ink); }
.nb-start button:hover { border-color: var(--c-brand); }
.nb-start b { font-family: var(--font-display); display: block; }
.nb-start span { font: .74rem/1.4 var(--font-mono); color: var(--c-muted); overflow-wrap: anywhere; }
@media (max-width: 960px) { .nb-grid { grid-template-columns: minmax(0, 1fr); } }

/* ===== commons ===== */
.cm-tools { display: flex; gap: 10px; flex-wrap: wrap; align-items: center; margin-bottom: 18px; }
.ui .cm-tools input[type=search] { max-width: 280px; min-height: 40px; font-family: var(--font-mono); font-size: .88rem; }
.ui .cm-tools select { width: auto; min-height: 40px; padding: 6px 10px; font-size: .9rem; }
.cm-grid { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 14px; }
.cm-card { display: flex; flex-direction: column; gap: 4px; padding: 16px 18px; }
.cm-card p { color: var(--c-muted); font-size: .92rem; margin: 4px 0 6px; display: -webkit-box; -webkit-line-clamp: 3; -webkit-box-orient: vertical; overflow: hidden; }
.cm-foot { margin-top: auto; padding-top: 8px; border-top: 1px dashed var(--c-line); display: flex; justify-content: space-between; gap: 10px; align-items: center; font-size: .85rem; color: var(--c-muted); }
.cm-cite { font: 500 .8rem/1 var(--font-mono); color: var(--c-accent); }

/* ===== snippet ===== */
.sn-head { display: grid; grid-template-columns: minmax(0, 1fr) auto; gap: 16px; align-items: start; margin-bottom: 16px; }
.sn-head h1 { font-size: clamp(1.6rem, 3.4vw, 2.3rem); margin: 6px 0 8px; overflow-wrap: anywhere; }
.sn-acts { display: flex; gap: 8px; flex-wrap: wrap; justify-content: flex-end; }
.sn-notes { white-space: pre-wrap; overflow-wrap: anywhere; }
.sn-grid { display: grid; grid-template-columns: minmax(0, 1fr) 320px; gap: 24px; align-items: start; }
.sn-cols { width: 100%; border-collapse: collapse; font-size: .88rem; }
.sn-cols td { padding: 6px 4px; border-bottom: 1px solid var(--c-line); vertical-align: middle; }
.sn-cols td.nm { font-family: var(--font-mono); font-size: .82rem; overflow-wrap: anywhere; }
.sn-cols td.ty { color: var(--c-muted); font: .74rem var(--font-mono); white-space: nowrap; }
.sn-grid > *, .sn-side > * { min-width: 0; }
.sn-side { display: grid; gap: 14px; min-width: 0; position: sticky; top: calc(var(--header-h) + 14px); }
.sn-side .ri-tex { font-size: .85rem; }
.ui textarea.sn-edit { font: .8rem/1.6 var(--font-mono); min-height: 480px; white-space: pre; background: var(--c-code); tab-size: 4; }
.sn-live { font-size: .85rem; margin-bottom: 10px; }
@media (max-width: 960px) { .sn-grid { grid-template-columns: minmax(0, 1fr); } .sn-side { position: static; } .sn-head { grid-template-columns: minmax(0, 1fr); } .sn-acts { justify-content: flex-start; } }

/* ===== admin ===== */
.ad-stats { display: grid; grid-template-columns: repeat(auto-fit, minmax(160px, 1fr)); gap: 14px; }
.ad-fb { display: grid; gap: 10px; }
.ad-fb .ui-item { display: block; }
.ad-fb .meta { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; font-size: .85rem; color: var(--c-muted); margin-bottom: 8px; }
.ad-fb .msg { white-space: pre-wrap; overflow-wrap: anywhere; margin: 0 0 10px; }
.ad-fb .ctx { font-size: .8rem; color: var(--c-faint); overflow-wrap: anywhere; margin-bottom: 10px; }
.ad-fb textarea { min-height: 60px; font-size: .92rem; }
.ad-users { width: 100%; border-collapse: collapse; font-size: .93rem; }
.ad-users th, .ad-users td { text-align: left; padding: 10px 8px; border-bottom: 1px solid var(--c-line); vertical-align: middle; }
.ad-users th { font-size: .78rem; text-transform: uppercase; letter-spacing: .06em; color: var(--c-muted); }
.ad-users td.email { overflow-wrap: anywhere; }
@media (max-width: 720px) {
  .ad-users thead { display: none; }
  .ad-users tr { display: grid; grid-template-columns: 1fr auto; gap: 4px 10px; padding: 12px 0; border-bottom: 1px solid var(--c-line); }
  .ad-users td { border: 0; padding: 0; }
  .ad-users td.joined { display: none; }
}

/* ===== auth ===== */
.au-wrap { min-height: calc(100vh - var(--header-h) - 160px); display: grid; place-items: center; padding: 40px 16px 64px; }
.au-card { width: min(100%, 440px); padding: 30px; }
.au-card h1 { font-size: 1.8rem; margin-bottom: 4px; }
.au-card .ui-seg { width: 100%; margin: 18px 0 20px; }
.au-card .ui-seg button { flex: 1; padding: 10px; }
.au-pw { position: relative; }
.au-pw input { padding-right: 70px; }
.au-links { display: flex; justify-content: space-between; gap: 10px; margin-top: 16px; font-size: .9rem; flex-wrap: wrap; }
.au-links a { cursor: pointer; }
.au-card .lk-consent, .au-card [class*="consent"] { font-size: .9rem; }
.au-or { display: flex; align-items: center; gap: 12px; margin: 18px 0 14px; color: var(--c-muted); font-size: .85rem; }
.au-or::before, .au-or::after { content: ""; flex: 1; height: 1px; background: var(--c-line); }
.au-google svg { width: 18px; height: 18px; flex: none; }
@media (max-width: 480px) { .au-card { padding: 24px 18px; } }

/* ===== profile ===== */
.pf-grid { display: grid; grid-template-columns: 1fr 1fr; gap: 16px; }
.pf-head { display: flex; gap: 16px; align-items: center; margin-bottom: 22px; }
.pf-head .ui-avatar { width: 64px; height: 64px; font-size: 1.3rem; }
.pf-head h1 { margin: 0; font-size: 1.8rem; }
.pf-links { display: grid; gap: 4px; }
.pf-links button, .pf-links a { display: flex; gap: 10px; align-items: center; padding: 11px 12px; border-radius: var(--radius-sm); border: 0; background: none;
  font: 500 .97rem/1.2 var(--font-body); color: var(--c-ink); cursor: pointer; text-decoration: none; text-align: left; width: 100%; }
.pf-links button:hover, .pf-links a:hover { background: var(--c-surface-2); }
@media (max-width: 720px) { .pf-grid { grid-template-columns: 1fr; } }

/* =====================================================================================================
   Anvil components: the same look through roles (prop:role='["btn", "btn-primary", "ic-wand"]').
   Button = .anvil-button wrapper > button; Link = a; TextBox = input; TextArea = textarea; DropDown = wrapper > select;
   RepeatingPanel = root > items container > item forms (grid rules go on "> div").
   ===================================================================================================== */

/* Anvil buttons: the wrapper is inline, the button inside resets Anvil's own padding and margins */
.anvil-role-btn { display: inline-block; }
.anvil-role-btn > button { margin: 0; }
.anvil-role-btn-block, .anvil-role-btn-block > button { display: flex; width: 100%; }
.anvil-role-btn-icon > button > span, .anvil-role-btn-icon > button .anvil-button-text { position: absolute; width: 1px; height: 1px; overflow: hidden; clip: rect(0 0 0 0); }
/* the round account button in the header */
.anvil-role-avatar > button { width: 40px; height: 40px; border-radius: 50%; border: 0; cursor: pointer; background: var(--c-brand);
  color: var(--c-brand-ink); font: 700 .85rem/1 var(--font-body); padding: 0; margin: 0; }

/* text from Label components */
.anvil-role-menu-name { font-weight: 800; }
.anvil-role-menu-email { color: var(--c-muted); font-size: .875rem; }
.anvil-role-fine-print { color: var(--c-muted); font-size: .875rem; }
.anvil-label { padding: 0; margin: 0; }

/* notifications (state.toast) look like the old toasts */
.anvil-notification { background: var(--c-ink); color: var(--c-bg); border: 0; border-radius: 14px; box-shadow: var(--shadow-lg);
  font: 600 1rem/1.4 var(--font-body); }
.anvil-notification.anvil-role-ok { background: var(--c-good); color: var(--c-on-status); }
.anvil-notification.anvil-role-error { background: var(--c-bad); color: var(--c-on-status); }
.anvil-notification .anvil-notification-title { font-weight: 800; }

/* dialogs (alert / confirm with a Form inside) look like the old modals */
.anvil-modal-content { background: var(--c-surface); color: var(--c-ink); border: 1px solid var(--c-line); border-radius: calc(var(--radius) + 4px);
  box-shadow: var(--shadow-lg); font: 16px/1.55 var(--font-body); }
.anvil-modal-header { border-bottom: 0; padding: 22px 26px 0; }
.anvil-modal-title { font: 800 1.6rem/1.1 var(--font-display); color: var(--c-ink); }
.anvil-modal-body { padding: 18px 26px 24px; }
.anvil-modal-footer { border-top: 0; padding: 0 26px 22px; }
.anvil-modal-header .anvil-close { color: var(--c-muted); opacity: 1; text-shadow: none; }
@media (max-width: 720px) { .anvil-modal-body { padding: 16px 18px 20px; } .anvil-modal-header { padding: 18px 18px 0; } }

/* ---- shared helpers for the component version */
.anvil-role-contents, .anvil-role-contents > div { display: contents; }
.anvil-role-page-title { font: 800 clamp(1.7rem, 3.4vw, 2.3rem)/1.08 var(--font-display); color: var(--c-ink); margin: 0; letter-spacing: -.005em; }
.anvil-role-sec-title { font: 800 1.6rem/1.08 var(--font-display); color: var(--c-ink); margin: 0; }
.anvil-role-card-title { font: 800 1.3rem/1.08 var(--font-display); color: var(--c-ink); margin: 4px 0 0; }
.anvil-role-faint { color: var(--c-faint); }
.anvil-role-sh-stars { color: #f0a500; letter-spacing: 1px; font-size: .95rem; }
.anvil-role-sh-stars.anvil-role-faint { color: var(--c-faint); letter-spacing: 0; }
.lp-signup { margin: 14px 0 0; }
@media (max-width: 720px) { .anvil-role-sh-shelf > div { grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 22px 14px; } }
.ui-empty > .ic { width: 34px; height: 34px; color: var(--c-faint); margin-bottom: 8px; }

/* ---- reading pages, dialogs, profile, admin (component version) */
.anvil-role-bk-title { font: 800 clamp(1.6rem, 3.6vw, 2.3rem)/1.08 var(--font-display); color: var(--c-ink); margin: 2px 0 6px; }
.anvil-role-bk-intro { color: var(--c-muted); margin: 0; }
.anvil-modal-content .ui h2.dlg-h, .anvil-role-dlg-title { font: 800 1.6rem/1.1 var(--font-display); color: var(--c-ink); margin: 0 0 .5em; padding-right: 36px; }
.anvil-modal-content .ui { font: 16px/1.55 var(--font-body); }
.anvil-role-seg > button { font: 800 .85rem/1 var(--font-body); border: 0; background: none; color: var(--c-muted); padding: 8px 13px; border-radius: 999px; cursor: pointer; margin: 0; box-shadow: none; }
.anvil-role-seg.anvil-role-on > button { background: var(--c-accent); color: #2b2350; }
.anvil-role-pf-avatar { width: 64px; height: 64px; border-radius: 50%; display: grid; place-items: center; flex: none; background: var(--c-brand-soft); color: var(--c-brand);
  font: 700 1.3rem/1 var(--font-body); }
.anvil-role-pf-title { font: 800 1.8rem/1.08 var(--font-display); color: var(--c-ink); }
.pf-pw { margin-top: 22px; }
.pf-more { margin-top: 16px; }
.anvil-role-strong { font-weight: 800; }
.anvil-role-stat-num { font: 800 2rem/1.1 var(--font-display); color: var(--c-ink); }
.ad-stat { text-decoration: none; color: inherit !important; }
.ad-stat span, .ad-stat .anvil-role-fine-print { color: var(--c-muted); font-size: .9rem; }
.anvil-role-ad-demo-line { margin-top: 18px; }
.ad-filter, .ad-search { margin-bottom: 16px; }
.ad-search .anvil-role-ad-search-box { max-width: 360px; }
.ad-table { display: grid; gap: 8px; align-items: center; padding: 10px 8px; border-bottom: 1px solid var(--c-line); font-size: .93rem; }
.ad-users-head, .ad-user-row { grid-template-columns: minmax(0, 1.2fr) minmax(0, 1.6fr) 90px 90px 90px; }
.ad-lib-head, .ad-lib-row { grid-template-columns: minmax(0, 3fr) 70px 70px 70px; }
.ad-users-head b, .ad-lib-head b { font-size: .78rem; text-transform: uppercase; letter-spacing: .06em; color: var(--c-muted); }
.anvil-role-ad-email { overflow-wrap: anywhere; }
.ad-fb-actions { margin-top: 10px; }
@media (max-width: 720px) {
  .ad-users-head { display: none; }
  .ad-user-row { grid-template-columns: 1fr 1fr; }
  .ad-lib-head, .ad-lib-row { grid-template-columns: minmax(0, 1fr) 50px 50px 50px; }
}
.anvil-notification.alert-success, .anvil-notification.anvil-notification-success { background: var(--c-good); color: var(--c-on-status); }
.anvil-notification.alert-danger, .anvil-notification.anvil-notification-danger { background: var(--c-bad); color: var(--c-on-status); }

/* The open-source runtime (App Server 1.18) wraps named elements and components in <anvil-dropzone> tags; hosted Anvil
   has dropped them. Make them invisible to layout so child selectors and grids behave the same on both. */
anvil-dropzone { display: contents; }
/* Notifications on the open-source runtime (1.18): Bootstrap-style alerts. Same look as .anvil-notification above. */
[data-notify="container"].anvil-alert { background: var(--c-ink); color: var(--c-bg); border: 2.5px solid var(--c-line); border-radius: 14px;
  box-shadow: var(--shadow); font: 700 1rem/1.4 var(--font-body); padding: 12px 40px 12px 16px; }
[data-notify="container"].anvil-alert-success { background: var(--c-good); color: var(--c-on-status); }
[data-notify="container"].anvil-alert-danger { background: var(--c-bad); color: var(--c-on-status); }
[data-notify="container"].anvil-alert .anvil-close, [data-notify="container"].anvil-alert [data-notify="dismiss"] { color: inherit; opacity: .8; text-shadow: none; }
/* header: the guest buttons stay on one line, the logo never shrinks */
.ui-brand img { flex: none; }
.ui-header-right .ui-row { flex-wrap: nowrap; gap: 8px; }
@media (max-width: 480px) {
  .ui-brand span { font-size: .98rem; line-height: 1.05; }
  .ui-header-right .ui-btn { padding: 8px 11px; min-height: 38px; font-size: .86rem; }
}
.pf-pw { margin-top: 22px !important; }
/* Toast colours win over the plain rule above on both runtimes (hosted: anvil-role-ok/error; App Server 1.18: alert-success/danger). */
:is(.anvil-notification, [data-notify="container"]):is(.anvil-role-ok, .anvil-alert-success) { background: var(--c-good); color: var(--c-on-status); }
:is(.anvil-notification, [data-notify="container"]):is(.anvil-role-error, .anvil-alert-danger) { background: var(--c-bad); color: var(--c-on-status); }
/* Our dialogs: Anvil's normal alert is a 300 px "small" modal; give them the old modal's width. */

/* ---- template pages (component version) */
.lp-art-card { position: relative; display: grid; gap: 12px; padding: 22px; max-width: 460px; margin: 0 auto; }
.lp-art-bar { display: flex; gap: 6px; margin-bottom: 6px; }
.lp-art-bar i { width: 10px; height: 10px; border-radius: 50%; background: var(--c-line); display: block; }
.lp-art-row { display: flex; gap: 12px; align-items: center; padding: 12px; border-radius: var(--radius-sm); background: var(--c-surface-2); }
.lp-art-row b { display: block; } .lp-art-row small { color: var(--c-muted); }
.anvil-role-item-list > div { display: grid; gap: 10px; }
.item-title { gap: 8px; }
.anvil-role-item-body { overflow-wrap: anywhere; margin-top: 2px; }
.anvil-role-initials { font: 700 .85rem/1 var(--font-body); color: inherit; }
.nav-link { display: inline-flex; align-items: center; gap: 7px; }
.ui-tabbar .nav-link { display: grid; }
.ui-nav .nav-link.on, .ui-tabbar a.on { }
.anvil-role-dlg-title, .anvil-modal-content .ui h2.dlg-h { font: 700 1.5rem/1.15 var(--font-display); color: var(--c-ink); margin: 0 0 .5em; padding-right: 36px; }

.anvil-modal-content .ui-row.end { margin-top: 18px; }
.anvil-modal-content textarea { width: 100%; }
/* Our dialogs: Anvil's normal alert is a 300 px "small" modal; give them a comfortable width. */
.anvil-modal-dialog.anvil-role-app-dialog.anvil-modal-sm, .anvil-modal-dialog.anvil-role-app-dialog:not(.anvil-modal-lg) { width: min(calc(100vw - 24px), 540px); max-width: none; }
.anvil-modal-dialog.anvil-role-app-dialog.anvil-modal-lg { width: min(calc(100vw - 24px), 780px); max-width: none; }/* badges from Label components: prop:role='["badge"]' (+ "badge-brand", "badge-good", "badge-warn", "badge-bad") */
.anvil-role-badge { display: inline-flex; align-items: center; gap: 5px; font: 600 .75rem/1.3 var(--font-body); padding: 4px 10px; border-radius: 999px;
  background: var(--c-surface-2); color: var(--c-muted); white-space: nowrap; }
.anvil-role-badge.anvil-role-badge-brand { background: var(--c-brand-soft); color: var(--c-brand); }
.anvil-role-badge.anvil-role-badge-good { background: var(--c-good-soft); color: var(--c-good); }
.anvil-role-badge.anvil-role-badge-warn { background: var(--c-warn-soft); color: var(--c-warn); }
.anvil-role-badge.anvil-role-badge-bad { background: var(--c-bad-soft); color: var(--c-bad); }
/* auth page parts made of components */
.anvil-role-au-title { font: 700 1.8rem/1.1 var(--font-display); margin-bottom: 4px; color: var(--c-ink); }
.anvil-role-au-sub { color: var(--c-muted); margin-bottom: 4px; }
.au-pw { position: relative; display: block; }
.au-pw input { padding-right: 70px; }
.anvil-role-au-show { position: absolute; right: 6px; top: 50%; transform: translateY(-50%); }
.anvil-role-au-show > button { border: 0; background: none; color: var(--c-muted); font: 600 .8rem/1 var(--font-body); padding: 8px; cursor: pointer; margin: 0; box-shadow: none; }
.anvil-role-au-google img, .anvil-role-au-google .anvil-component-icon { width: 18px; height: 18px; flex: none; }
.anvil-role-msg-error { background: var(--c-bad-soft); color: var(--c-bad); border-radius: var(--radius-sm); padding: 10px 14px; font-size: .92rem; }
.anvil-role-msg-note { background: var(--c-brand-soft); color: var(--c-ink); border-radius: var(--radius-sm); padding: 10px 14px; font-size: .92rem; }

/* Screen-reader-only text (Label role "sr", or class ui-sr): read out, not shown */
.anvil-role-sr, .ui-sr { position: absolute !important; width: 1px; height: 1px; padding: 0; margin: -1px; overflow: hidden; clip: rect(0 0 0 0); white-space: nowrap; border: 0; }

/* Anvil's own notifications animate everything (transition: all): only fade and move (design kit) */
.anvil-notification, [data-notify="container"] { transition-property: opacity, transform !important; }
.au-card a { display: inline-block; padding: 3px 0; }  /* 24px+ touch height */
.anvil-notification .anvil-close, [data-notify="dismiss"] { min-width: 24px; min-height: 24px; }


/* =====================================================================================================
   RoboIntern on Anvil components (the Forms version): the LaTeX-paper look for the template's role layer,
   then the Forms pages' own parts (landing teaser, notebook, Commons, listing, admin Commons, dialogs).
   ===================================================================================================== */
.anvil-role-page-title, .anvil-role-pf-title, .anvil-role-stat-num, .anvil-role-dlg-title,
.anvil-modal-content .ui h2.dlg-h, .anvil-modal-title { font-weight: 600; letter-spacing: -.005em; }
.anvil-role-seg > button { font: 500 .85rem/1 var(--font-body); border-radius: 2px; min-height: 34px; }
.anvil-role-seg.anvil-role-on > button { background: var(--c-surface); color: var(--c-ink); box-shadow: 0 0 0 1px var(--c-line); }
.anvil-role-badge { border-radius: 2px; font: 500 .75rem/1.3 var(--font-mono); letter-spacing: .02em; padding: 3px 7px; }
.anvil-role-avatar > button, .anvil-role-pf-avatar { border-radius: 2px; font-family: var(--font-display); font-style: italic; font-weight: 600; font-size: 1rem; }
.anvil-role-pf-avatar { font-size: 1.3rem; }
.anvil-notification, [data-notify="container"].anvil-alert { border-radius: 3px; font-weight: 500; }
.anvil-modal-content { border-radius: var(--radius); }
.anvil-role-strong { font-weight: 700; }
.anvil-role-inline, .anvil-role-inline > span { display: inline; font: inherit; color: inherit; }
.ui-empty > .ic { width: 34px; height: 34px; color: var(--c-faint); margin-bottom: 8px; }
.anvil-role-empty-h { font: 600 1.2rem/1.2 var(--font-display); color: var(--c-ink); margin: 0 0 .4em; }
.ri-dlg > p { margin-bottom: 14px; }

/* ---- landing: the parts made of components */
.lp-proof .ic { color: var(--c-good); }
.lp-signup { display: inline-block; margin-top: 16px; font-size: .95rem; }
.lp-feats { display: grid; grid-template-columns: repeat(auto-fill, minmax(280px, 1fr)); gap: 0 40px; }
.ui .lp-feature { display: grid; grid-template-columns: 28px 1fr; gap: 4px 14px; padding: 22px 0; border-top: 1px solid var(--c-line); }
.lp-feature .ic { width: 22px; height: 22px; color: var(--c-brand); grid-row: span 2; margin-top: 3px; }
.ui .lp-feature h3 { margin: 0; font-size: 1.08rem; }
.lp-feature p, .anvil-role-lp-p { color: var(--c-muted); margin: 0; grid-column: 2; }
.anvil-role-lp-head-p { color: var(--c-muted); font-size: 1.08rem; }
.anvil-role-lp-faq-p { color: var(--c-muted); margin: 0 0 16px; }
.lp-more { text-align: center; margin-top: 18px; }
.anvil-role-lp-inds > div { display: grid; grid-template-columns: repeat(5, minmax(0, 1fr)); gap: 8px; margin-bottom: 16px; }
.lp-ind .ic { width: 20px; height: 20px; color: var(--c-brand); flex: none; }
.anvil-role-lp-ind-name { flex: 1; min-width: 0; line-height: 1.2; }
.anvil-role-lp-ind-n { font: 500 .78rem/1 var(--font-mono); color: var(--c-muted); flex: none; }
.anvil-role-lp-cases > div { display: grid; grid-template-columns: repeat(2, minmax(0, 1fr)); gap: 14px; }
.anvil-role-lp-case-h { font: 600 1.1rem/1.2 var(--font-display); color: var(--c-ink); margin: 6px 0 4px; }
.anvil-role-lp-case-q { color: var(--c-muted); font-size: .92rem; margin: 0 0 12px; }
.anvil-role-lp-sig-model { font-family: var(--font-display); font-weight: 700; }
.anvil-role-lp-math > div { display: grid; grid-template-columns: repeat(3, minmax(0, 1fr)); gap: 14px; }
.lp-mathcard { text-decoration: none; color: inherit; display: block; transition: border-color var(--dur-fast) var(--ease-out); }
.lp-mathcard .ri-tex { font-size: .92rem; min-height: 54px; display: flex; align-items: center; }
.anvil-role-lp-math-h { font: 600 1.05rem/1.2 var(--font-display); color: var(--c-ink); margin: 8px 0 4px; }
.anvil-role-lp-math-p { color: var(--c-muted); font-size: .9rem; }
@media (hover: hover) and (pointer: fine) { .lp-mathcard:hover, .lp-ind:hover, .lp-case:hover { border-color: var(--c-brand); } }
@media (max-width: 860px) {
  .anvil-role-lp-math > div, .anvil-role-lp-cases > div { grid-template-columns: minmax(0, 1fr); }
  .anvil-role-lp-inds > div { grid-template-columns: repeat(2, minmax(0, 1fr)); }
}

/* ---- chips (Items/Tag): column names, outside signals, tags and meta in a .ri-meta row */
.ri-tag-wrap { display: contents; }
.anvil-role-ri-chip { display: inline-flex; align-items: center; }
.anvil-role-ri-chip-code { font: .78rem/1 var(--font-mono); background: var(--c-code); border: 1px solid var(--c-line); padding: 3px 5px; border-radius: 2px; }
.anvil-role-ri-chip-sig { font-size: .78rem; padding: 3px 6px; border-radius: 2px; background: var(--c-good-soft); color: var(--c-good); }
.anvil-role-ri-chip-good, .anvil-role-ri-chip-badge { font: 500 .75rem/1.3 var(--font-mono); padding: 3px 7px; border-radius: 2px; background: var(--c-surface-2); color: var(--c-muted); }
.anvil-role-ri-chip-good { background: var(--c-good-soft); color: var(--c-good); }

/* ---- notebook */
.nb-side { display: grid; gap: 14px; align-content: start; min-width: 0; }
.ui .nb-tools .anvil-role-nb-search, .ui .cm-tools .anvil-role-cm-search { max-width: 280px; min-height: 40px; padding: 7px 11px; font-family: var(--font-mono); font-size: .88rem; }
.anvil-role-nb-list > div { display: grid; gap: 10px; }
.ui .nb-title { margin: 4px 0; font-size: 1.1rem; }
.nb-title a { color: var(--c-ink); text-decoration: none; }
@media (hover: hover) and (pointer: fine) { .nb-title a:hover { color: var(--c-brand); } }
.anvil-role-nb-notes { margin: 4px 0 0; color: var(--c-muted); font-size: .92rem; overflow-wrap: anywhere; }
.nb-tags { margin-top: 8px; }
.anvil-role-nb-star > button { font-size: 1.15rem; color: var(--c-faint); background: none; border: 0; width: 44px; height: 44px; padding: 0; margin: 0; cursor: pointer; }
.anvil-role-nb-star.anvil-role-on > button { color: #8f6a00; }
:root[data-theme="dark"] .anvil-role-nb-star.anvil-role-on > button { color: #e6b45a; }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .anvil-role-nb-star.anvil-role-on > button { color: #e6b45a; } }
.ui .nb-lemma-h, .ui .nb-side-h { font-size: 1.05rem; }
.nb-lemma .ri-tex { font-size: .92rem; }
.nb-lemma p { font-size: .93rem; margin: 0; }
.anvil-role-nb-ds > div { display: grid; gap: 8px; }
.nb-ds-row { padding: 12px 14px; align-items: center; gap: 8px; }
.anvil-role-nb-ds-name { font: 600 1rem/1.25 var(--font-display); color: var(--c-ink); overflow-wrap: anywhere; }
.nb-ds-none { margin: 0; }
.ui .nb-empty { text-align: left; padding: 28px; }
.anvil-role-nb-start > div { display: grid; grid-template-columns: repeat(auto-fill, minmax(200px, 1fr)); gap: 10px; margin-top: 14px; }
.nb-sample { display: block; width: 100%; text-align: left; background: var(--c-surface); border: 1px solid var(--c-line); border-radius: var(--radius); padding: 12px 14px;
  cursor: pointer; font: inherit; color: var(--c-ink); transition: border-color var(--dur-fast) var(--ease-out); }
@media (hover: hover) and (pointer: fine) { .nb-sample:hover { border-color: var(--c-brand); } }
.anvil-role-nb-sample-name { font: 600 1rem/1.3 var(--font-display); }
.anvil-role-nb-sample-line { font: .78rem/1.4 var(--font-mono); color: var(--c-muted); overflow-wrap: anywhere; }
.nb-empty-more { margin-top: 16px; }

/* ---- the Commons */
.ui .cm-tools .anvil-role-cm-model select, .ui .cm-tools select { width: auto; min-height: 40px; padding: 6px 10px; font-size: .9rem; }
.cm-tools + .anvil-role-fine-print { margin-bottom: 10px; }
.anvil-role-cm-grid > div { display: grid; grid-template-columns: repeat(auto-fill, minmax(300px, 1fr)); gap: 14px; }
.anvil-role-cm-title { font: 600 1.12rem/1.2 var(--font-display); color: var(--c-ink); margin: 6px 0; }
.anvil-role-cm-notes > span { color: var(--c-muted); font-size: .92rem; margin: 4px 0 6px; display: -webkit-box; -webkit-line-clamp: 3; -webkit-box-orient: vertical; overflow: hidden; }
.anvil-role-cm-cite { font: 500 .8rem/1 var(--font-mono); color: var(--c-accent); }
@media (max-width: 720px) { .anvil-role-cm-grid > div { grid-template-columns: minmax(0, 1fr); } }

/* ---- a listing */
.sn-crumbs { font: .82rem/1.4 var(--font-mono); color: var(--c-muted); margin-bottom: 10px; }
.anvil-role-sn-title { font: 600 clamp(1.6rem, 3.4vw, 2.3rem)/1.15 var(--font-display); color: var(--c-ink); margin: 6px 0 8px; overflow-wrap: anywhere; }
.anvil-role-sn-notes, .anvil-role-sn-notes > span { display: inline; white-space: pre-wrap; overflow-wrap: anywhere; }
.sn-edit-bar { border: 1px solid var(--c-line); border-bottom: 0; }
.anvil-role-ri-file-on { font: 500 .8rem/1 var(--font-mono); padding: 8px 10px; color: var(--c-ink); background: var(--c-code); box-shadow: inset 0 -2px 0 var(--c-accent); border-radius: 2px; }
.ui .anvil-role-sn-edit, .ui textarea.anvil-role-sn-edit { font: .8rem/1.6 var(--font-mono); min-height: 480px; white-space: pre; background: var(--c-code); tab-size: 4; border-radius: 0 0 2px 2px; }
.sn-edit-acts, .sn-regen { margin-top: 10px; }
.ui .sn-side-h { font-size: 1.02rem; }
.anvil-role-sn-cols > div { display: grid; }
.sn-col { display: grid; grid-template-columns: 44px minmax(0, 1fr) auto; gap: 8px; align-items: center; padding: 6px 4px; border-bottom: 1px solid var(--c-line); font-size: .88rem; }
.anvil-role-sn-col-name { font: .84rem/1.3 var(--font-mono); overflow-wrap: anywhere; }
.anvil-role-ri-hl-label > span { background: color-mix(in srgb, #ffd640 48%, transparent); border-radius: 2px; padding: 0 3px; }
:root[data-theme="dark"] .anvil-role-ri-hl-label > span { background: rgba(255, 200, 40, .24); }
@media (prefers-color-scheme: dark) { :root:not([data-theme="light"]) .anvil-role-ri-hl-label > span { background: rgba(255, 200, 40, .24); } }
.lp-sig .lbl { width: 74px; }
.anvil-role-sn-col-type { color: var(--c-muted); font: .78rem/1.2 var(--font-mono); white-space: nowrap; }
.sn-freq { margin-top: 10px; }
.sn-run { padding-left: 1.2em; margin: 0; }
.sn-run-note { margin: 10px 0 0; }

/* ---- admin: Commons moderation */
.anvil-role-ad-fb > div { display: grid; gap: 10px; }
.ad-cm-row { display: block; }
.ad-cm-row .meta { display: flex; gap: 8px; flex-wrap: wrap; align-items: center; font-size: .85rem; color: var(--c-muted); margin-bottom: 8px; }
.ad-cm-row .msg { overflow-wrap: anywhere; margin: 0 0 6px; }
.ad-cm-row .ui-row { margin-top: 10px; }