diff options
author | DS <commits@sidhion.com> | 2024-04-03 22:06:18 -0700 |
---|---|---|
committer | DS <commits@sidhion.com> | 2024-04-03 22:41:13 -0700 |
commit | 14d67caaa44054578d0780b82216bb502dad61be (patch) | |
tree | 562ded6623ada783169b5af87d28edc8996c0bcb /doc | |
parent | 4d321931cfde971b3d791a95fb6d22c157ef233a (diff) |
doc: make prompts unselectable on the manuals
Diffstat (limited to 'doc')
-rw-r--r-- | doc/style.css | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/style.css b/doc/style.css index fddf4f4823c7..9cd0a0feb3a8 100644 --- a/doc/style.css +++ b/doc/style.css @@ -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; +} |