diff options
Diffstat (limited to '')
| -rw-r--r-- | docs/public/code.css | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/docs/public/code.css b/docs/public/code.css index 3fbb26626..354851970 100644 --- a/docs/public/code.css +++ b/docs/public/code.css @@ -4,6 +4,10 @@ color: #fd9170; } +.language-diff .token.prefix.deleted,.language-diff .token.prefix.inserted { + user-select: none +} + [class*='language-'] .namespace { opacity: 0.7; } |