doc: make prompts unselectable on the manuals

This commit is contained in:
DS 2024-04-03 22:06:18 -07:00
parent 4d321931cf
commit 14d67caaa4

View file

@ -414,3 +414,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;
}