Merge pull request #55 from nisrulz/disable-line-number-selectable

Make the line number column non-selectable
This commit is contained in:
zzossig 2020-01-01 11:26:21 +09:00 committed by GitHub
commit 9860984d06
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 0 deletions

View File

@ -461,6 +461,7 @@ pre:not(.chroma) {
&:first-child {
width: 10px;
user-select: none;
pre {
margin: 0;