diff options
| author | Théophane Hufschmitt <7226587+thufschmitt@users.noreply.github.com> | 2023-02-10 13:12:23 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-10 13:12:23 +0100 |
| commit | 320e3911717463c013f5d54bb747e74d74dbd3be (patch) | |
| tree | 54013e054027aa1eeedb861f758dfa65587f783c /doc | |
| parent | 5597d68e2d73a3b89ff36fcfeac82d7fe7d4f384 (diff) | |
| parent | 180538672a017488f9c23a4f72da5e5738a7570c (diff) | |
Merge pull request #7403 from fricklerhandwerk/noselect
disallow selecting shell prompt in code samples
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/manual/custom.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/doc/manual/custom.css b/doc/manual/custom.css index 69d48d4a7..b90f5423f 100644 --- a/doc/manual/custom.css +++ b/doc/manual/custom.css @@ -5,3 +5,7 @@ h1:not(:first-of-type) { h2 { margin-top: 1em; } + +.hljs-meta { + user-select: none; +} |