/* Language switcher — shared by Chinese (root) and English (/en/) pages.
   Pure HTML links (no JS) so search engines and link share previews see the alternate language. */
.lang-switch{display:inline-flex;align-items:center;gap:2px;padding:2px;border:1px solid var(--line);border-radius:999px;flex:none}
.lang-switch a{display:block;padding:4px 11px;border-radius:999px;font-size:10px;font-weight:500;letter-spacing:.05em;font-family:'DM Mono',Manrope,sans-serif;color:var(--muted);white-space:nowrap;transition:background .2s,color .2s}
.lang-switch a:hover{color:var(--ink)}
.lang-switch a[aria-current="true"]{background:var(--ink);color:var(--paper)}
@media(max-width:760px){.lang-switch a{padding:4px 8px;font-size:9px}}