/* Keep both audio controls icon-only without overriding responsive visibility. */
#sound-toggle, .app-shell #mobile-sound-toggle {
  width: 44px; min-width: 44px; height: 44px; min-height: 44px;
  padding: 0; flex: 0 0 44px; align-items: center; justify-content: center;
  flex-direction: row; gap: 0;
}
#sound-toggle { display: inline-flex; }
.app-shell .sound-control-icon {
  display: block; width: 20px; height: 20px; fill: none;
  stroke: currentColor; stroke-width: 1.8; stroke-linecap: round;
  stroke-linejoin: round; pointer-events: none;
}
.sound-control .sound-mute-mark { display: none; }
.sound-control[data-sound-muted="true"] .sound-mute-mark { display: inline; }
.sound-control[data-sound-muted="true"] .sound-waves { display: none; }
.quick-pot-controls .quick-pot-sign {
  display: block; font: 500 24px/1 var(--font-mono, monospace);
  text-align: center; pointer-events: none;
}