diff options
author | Graham Christensen <graham@grahamc.com> | 2020-01-14 14:39:52 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-14 14:39:52 -0500 |
commit | 6ed0b0a86fd265daf4591a8bcf0417b6d6b1a3d9 (patch) | |
tree | 77c70ead7630e5b44f28555336ac5590883fce25 /doc | |
parent | 42cc5c233e612e7775c9fe56023cece660490243 (diff) | |
parent | 1e6265afe9240469ae562e98013137ec872e5949 (diff) |
Merge pull request #77683 from jtojnar/prompt-no-select
doc: Make callout marks & prompts unselectable
Diffstat (limited to 'doc')
-rw-r--r-- | doc/overrides.css | 15 |
1 files changed, 14 insertions, 1 deletions
diff --git a/doc/overrides.css b/doc/overrides.css index 4c7d4a31be2d..73901a3f543b 100644 --- a/doc/overrides.css +++ b/doc/overrides.css @@ -1,9 +1,22 @@ .docbook .xref img[src^=images\/callouts\/], .screen img, -.programlisting img { +.programlisting img, +.literallayout img, +.synopsis img { width: 1em; } .calloutlist img { width: 1.5em; } + +.prompt, +.screen img, +.programlisting img, +.literallayout img, +.synopsis img { + -moz-user-select: none; + -webkit-user-select: none; + -ms-user-select: none; + user-select: none; +} |