/* App-shell overrides. Loaded after console-original.css (compiled output; its
   source was deleted from this repo), so these rules win at equal specificity.
   They make the shell nav speak the editorial menu's language: uppercase mono
   labels, red for the current page. Theme tokens: paper #f2efe7, red #e23b28,
   ink #111110, muted #8b857a, hairlines #d8d3c6. */
.app-nav a, .app-mobile-nav a { font-family: var(--font-mono); text-transform: uppercase; letter-spacing: .08em; }
.app-shell .uppercase { text-transform: uppercase; letter-spacing: .08em; }
.app-mobile-nav a[aria-current="page"] { background: transparent; color: var(--color-accent); box-shadow: inset 0 -2px 0 var(--color-accent); }

/* F-11: the app header is the only glass in the theme (translucent paper
   over a 12px blur). Flat paper like the rest; sticky behaviour stays. */
.app-header { background: var(--paper, #f2efe7); backdrop-filter: none; -webkit-backdrop-filter: none; }

/* F-13: the compiled file sets a global :focus-visible outline-offset of 3px.
   The spec is 2px red outlines everywhere; this override wins (loaded after). */
:focus-visible { outline-offset: 2px; }

/* F-07: one stamp component. The editorial stamp is 2px solid, mono,
   uppercase, letter-spacing .14em, rotated -6deg, transparent background.
   The compiled .doc-stamp (1px border, sans, -1.5deg) is overridden here. */
.doc-stamp { border-width: 2px; font-family: var(--font-mono); letter-spacing: .14em; transform: rotate(-6deg); }

/* Shared bottom ticker: the same double-hairline ticker as the editorial
   pages (paper #f2efe7, hairlines #d8d3c6, 8.5px mono). Filled by
   /assets/ticker.js; the page still reads fine if the script never runs. */
.app-shell .ticker { overflow: hidden; border-top: 1px solid var(--hair, #d8d3c6); border-bottom: 3px double var(--hair, #d8d3c6); padding: 7px 0; margin: 6px 0 2px; }
.app-shell .ticker-track { display: flex; width: max-content; animation: app-ticker-marquee 42s linear infinite; }
.app-shell .ticker:hover .ticker-track { animation-play-state: paused; }
.app-shell .ticker-track span { font-family: ui-monospace, Menlo, Consolas, monospace; font-size: 8.5px; letter-spacing: .18em; text-transform: uppercase; color: var(--muted, #8b857a); white-space: nowrap; }
@keyframes app-ticker-marquee { to { transform: translateX(-50%); } }
@media (prefers-reduced-motion: reduce) {
  .app-shell .ticker-track { animation: none; }
}