diff options
-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 38984169589f..5bc587a6ee30 100644 --- a/doc/style.css +++ b/doc/style.css @@ -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; +} |