public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #77683 from jtojnar/prompt-no-select

Browse Source 
doc: Make callout marks & prompts unselectable
This commit is contained in:
Graham Christensen 2020-01-14 14:39:52 -05:00 committed by GitHub
commit 6ed0b0a86f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
doc/overrides.css
View File

@ -1,9 +1,22 @@
.docbook .xref img[src^=images\/callouts\/], .docbook .xref img[src^=images\/callouts\/],
.screen img, .screen img,
.programlisting img { .programlisting img,
.literallayout img,
.synopsis img {
width: 1em; width: 1em;
} }
.calloutlist img { .calloutlist img {
width: 1.5em; 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;
}