Merge pull request #200 from kevinhaendel/master

Added "user-select" option to line numbers & messages
This commit is contained in:
John Crepezzi 2020-10-06 01:21:16 -04:00 committed by GitHub
commit f3b0de745b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -33,6 +33,7 @@ textarea {
font-size: 13px;
font-family: monospace;
text-align: right;
user-select: none;
}
/* code box when locked */
@ -119,6 +120,7 @@ textarea {
font-size: 12px;
line-height: 14px;
padding: 10px 15px;
user-select: none;
}
#box3 .label, #messages li {