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; +}