.vswitch{position:fixed;left:12px;bottom:12px;z-index:9999;display:flex;gap:2px;padding:3px;background:rgba(20,22,24,.86);backdrop-filter:blur(8px);border-radius:999px;font:500 11px/1 ui-monospace,Menlo,monospace}
.vswitch a{color:#cfcac0;text-decoration:none;min-width:26px;height:26px;padding:0 8px;display:grid;place-items:center;border-radius:999px}
.vswitch a:hover{background:rgba(255,255,255,.12)}
.vswitch a[aria-current]{background:#e9e3d8;color:#141618}
@media print{.vswitch{display:none}}
/* phones: hidden (it covered content in every version); the overview page links all five */
@media (max-width:700px){.vswitch{display:none}}