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