/* The domain's half of what differs on the onion mirror: Caddy serves
   host-onion.css under this name there (deploy/Caddyfile), so it works
   without JavaScript too. */
.only-onion { display: none !important; }