diff --git a/web/index.html b/web/index.html index 9cec43f..070086c 100644 --- a/web/index.html +++ b/web/index.html @@ -135,6 +135,11 @@ /* Engine switch — only shown when a real backend answered /api/health. */ .engine { display: inline-flex; align-items: center; gap: 0.6rem; } + /* Any `display` here would override what the `hidden` attribute does, leaving + a static host showing an engine switch set to "Rust" while JavaScript is + what actually runs — the page contradicting itself about the one thing it + must not be wrong about. */ + .engine[hidden] { display: none; } .seg { display: inline-flex; border: 1px solid var(--rule-strong); border-radius: 2px; overflow: hidden; } .seg button { font-family: var(--mono); font-size: var(--step--1); font-weight: 600; @@ -273,9 +278,12 @@