I noticed that the classic and alabaster themes add a user-select: none; property to div.highlight span.gp after sphinx-doc/sphinx#6727 and sphinx-doc/sphinx#9120, which I find quite nice.
It would be cool if furo could mimic this behavior.
2. Build HTML with `alabaster` theme
3. Notice that the prompt can't be selected
4. Change theme to `furo`
5. Notice that the prompt *can* be selected
### Expectation
I'd expect Furo to behave like other Sphinx themes.
### Code of Conduct
- [X] I agree to follow the [Code of Conduct](https://github.com/pradyunsg/furo/blob/main/CODE_OF_CONDUCT.md).
What's happening?
I noticed that the classic and alabaster themes add a
user-select: none;
property todiv.highlight span.gp
after sphinx-doc/sphinx#6727 and sphinx-doc/sphinx#9120, which I find quite nice.It would be cool if furo could mimic this behavior.
(Comes from https://github.com/pradyunsg/furo/discussions/284)
Reproducer