diff options
| author | Jan Tojnar <jtojnar@gmail.com> | 2020-01-14 15:04:21 +0100 |
|---|---|---|
| committer | Jan Tojnar <jtojnar@gmail.com> | 2020-01-14 15:04:21 +0100 |
| commit | 8334b8359590da3958f36cd0da31b28f1dcd4be1 (patch) | |
| tree | 27dcd820e30a9d568372734c1cbd016fdf5fce20 /doc/overrides.css | |
| parent | 30ea02a6ad870a3437bec1cb3488301dc22fc712 (diff) | |
doc: Make prompt unselectable
Weirdly, no-one seems to have noticed this was broken.
Diffstat (limited to 'doc/overrides.css')
| -rw-r--r-- | doc/overrides.css | 7 |
1 files changed, 7 insertions, 0 deletions
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; +} |