diff options
author | Silvan Mosberger <contact@infinisil.com> | 2024-04-04 16:52:32 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-04-04 16:52:32 +0200 |
commit | 62c8b542c3bb1ad99df7236838c38de9c51c8638 (patch) | |
tree | 2154826c1d65b23ca381fccc58f98f693fc233c3 /doc | |
parent | 60e005352de6d1ab8b365993eef394f9f195f7d3 (diff) | |
parent | 14d67caaa44054578d0780b82216bb502dad61be (diff) |
Merge pull request #301439 from DanielSidhion/unselectable-prompt
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 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; +} |