From 8334b8359590da3958f36cd0da31b28f1dcd4be1 Mon Sep 17 00:00:00 2001 From: Jan Tojnar Date: Tue, 14 Jan 2020 15:04:21 +0100 Subject: [PATCH 1/2] doc: Make prompt unselectable Weirdly, no-one seems to have noticed this was broken. --- doc/overrides.css | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/doc/overrides.css b/doc/overrides.css index 4c7d4a31be2d..cc21645a0dda 100644 --- a/doc/overrides.css +++ b/doc/overrides.css @@ -7,3 +7,10 @@ .calloutlist img { width: 1.5em; } + +.prompt { + -moz-user-select: none; + -webkit-user-select: none; + -ms-user-select: none; + user-select: none; +} From 1e6265afe9240469ae562e98013137ec872e5949 Mon Sep 17 00:00:00 2001 From: Jan Tojnar Date: Tue, 14 Jan 2020 15:24:57 +0100 Subject: [PATCH 2/2] doc: Make callout marks in code unselectable To make example copying easier. --- doc/overrides.css | 10 ++++++++-- 1 file 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;