/* Portal + admin header touch-ups (loaded after portal.v3.css; versioned — never edit in place).
   - The portal always uses the Professional look, so the per-theme letter buttons (S/F/P/M) only confused
     people: hidden. Light/dark still has its own sun/moon toggle.
   - The brand mark is the serif "S" tile used across the site, not the old asterisk glyph. */
.pt-theme { display: none !important; }
.pt-brand i { font-size: 0; width: 24px; height: 24px; border-radius: 7px; background: var(--ink); display: inline-grid; place-items: center; }
.pt-brand i::before { content: "S"; font: 700 14px/1 "Source Serif 4", Georgia, "Times New Roman", serif; color: var(--paper); }