Merge pull request #301439 from DanielSidhion/unselectable-prompt

doc: make prompts unselectable on the manuals
This commit is contained in:
Silvan Mosberger 2024-04-04 16:52:32 +02:00 committed by GitHub
commit 62c8b542c3
No known key found for this signature in database
GPG key ID: B5690EEEBB952194

View file

@ -430,3 +430,12 @@ div.appendix .informaltable th,
div.appendix .informaltable td {
padding: 0.5rem;
}
/*
This relies on highlight.js applying certain classes on the prompts.
For more details, see https://highlightjs.readthedocs.io/en/latest/css-classes-reference.html#stylable-scopes
*/
.hljs-meta.prompt_ {
user-select: none;
-webkit-user-select: none;
}