/* Links keep precisely the existing language-button appearance. */
html[data-public-locale] .language-options a{display:flex;min-width:0;height:clamp(25px,3.5dvh,30px);align-items:center;justify-content:center;gap:5px;padding:0 6px;border:1px solid var(--line);background:var(--surface-raised);color:var(--text);font-size:1rem;cursor:pointer;text-decoration:none}
html[data-public-locale] .language-options a:hover,html[data-public-locale] .language-options a:focus-visible,html[data-public-locale] .language-options a[aria-current="page"]{border-color:var(--accent);color:var(--accent);outline:none}
html[data-public-locale] .nav-command-language .language-options a{width:32px;height:28px;border-radius:8px}