/* Console prompts ($, PS>) are visual cues, not part of the command: keep
   them out of text selection, matching the copybutton_exclude in conf.py. */
.highlight span.gp {
  user-select: none;
}