/* The soundtrack control stays within reach while browsing. */
.music-control { flex: 0 0 44px; width: 44px; height: 44px; }
.music-toggle {
  display: inline-flex; align-items: center; justify-content: center;
  width: 44px; height: 44px; padding: 0;
  border: 1px solid var(--theme-border); border-radius: 50%;
  background: var(--theme-surface); color: var(--theme-text); cursor: pointer;
}
.music-toggle[hidden] { display: none; }
.music-toggle:hover { border-color: var(--theme-cyan); color: var(--theme-cyan); }
.music-toggle:focus-visible { outline: 3px solid var(--theme-cyan); outline-offset: 3px; }
.music-toggle[aria-pressed="true"] { color: var(--theme-cyan); border-color: var(--theme-cyan); background: var(--theme-raised, var(--theme-surface)); }
.music-toggle .music-pause-icon { display: none; }
.music-toggle[aria-pressed="true"] .music-note-icon { display: none; }
.music-toggle[aria-pressed="true"] .music-pause-icon { display: block; }