/* One small switch for the page's little chirps and crackles (not the music, which has its own button). */
.sound-switch{position:fixed;left:12px;bottom:12px;z-index:30;padding:6px 10px;border:1px solid rgba(198,160,255,.5);background:rgba(5,7,14,.85);color:#cbb6ee;
  font:700 10px/1 "Courier New",monospace;letter-spacing:.16em;cursor:pointer;opacity:.75;transition:opacity .2s,border-color .2s,box-shadow .2s}
.sound-switch:hover,.sound-switch:focus-visible{opacity:1;border-color:#fff;box-shadow:0 0 12px rgba(198,160,255,.4);outline:none}
.sound-switch[aria-pressed="false"]{color:#7d8799;border-color:rgba(125,135,153,.5)}
@media(max-width:700px){.sound-switch{bottom:8px;left:8px;padding:5px 8px;font-size:9px}}