[MacPorts] #66500: Remove $ dollar sign from line copy&paste (user terminal commands)

[MacPorts]

#66500: Remove $ dollar sign from line copy&paste (user terminal commands)
--------------------------+--------------------
  Reporter:  esbugz       |      Owner:  (none)
      Type:  enhancement  |     Status:  new
  Priority:  Normal       |  Milestone:
 Component:  guide        |    Version:
Resolution:               |   Keywords:
      Port:               |
--------------------------+--------------------

Comment (by esbugz):

 Oh, there seems to be a much easier option: just apply this (from
 [docs.python.org]) to the span containing the prompt marker and it won't
 be selected on triple click

 `<span class="gp">>>> </span>`
 {{{
 span.gp {
     user-select: none;
     -webkit-user-select: text;
     -webkit-user-select: none;
     -moz-user-select: none;
     -ms-user-select: none;
 }
 }}}

-- 
Ticket URL: <https://trac.macports.org/ticket/66500#comment:6>
MacPorts <https://www.macports.org/>
Ports system for macOS