diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2020-01-14 15:24:57 +0100 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2020-01-14 15:24:57 +0100 |
commit | 1e6265afe9240469ae562e98013137ec872e5949 (patch) | |
tree | 6747453068a9437efcf4234d520166c38a76c44d /doc/overrides.css | |
parent | 8334b8359590da3958f36cd0da31b28f1dcd4be1 (diff) |
doc: Make callout marks in code unselectable
To make example copying easier.
Diffstat (limited to 'doc/overrides.css')
-rw-r--r-- | doc/overrides.css | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/doc/overrides.css b/doc/overrides.css index cc21645a0dda..73901a3f543b 100644 --- a/doc/overrides.css +++ b/doc/overrides.css @@ -1,6 +1,8 @@ .docbook .xref img[src^=images\/callouts\/], .screen img, -.programlisting img { +.programlisting img, +.literallayout img, +.synopsis img { width: 1em; } @@ -8,7 +10,11 @@ width: 1.5em; } -.prompt { +.prompt, +.screen img, +.programlisting img, +.literallayout img, +.synopsis img { -moz-user-select: none; -webkit-user-select: none; -ms-user-select: none; |