diff --git a/docs/public/code.css b/docs/public/code.css index 3fbb266269..3548519701 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; }