/* Keep text and icons fully opaque; soften only the fixed header background. */
html .topbar{background:rgba(255,255,255,.82);-webkit-backdrop-filter:blur(12px);backdrop-filter:blur(12px)}
html[data-theme="dark"] .topbar{background:rgba(16,19,24,.82)}