Merge pull request #22 from patricsteiner/remove-double-scrollbars

avoid unnecessary scrollbars
This commit is contained in:
Amit Merchant 2020-01-21 18:22:24 +05:30 committed by GitHub
commit dc2c718f34
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,7 +1,7 @@
.highlight { .highlight {
background-color: #1e1c3f; background-color: #1e1c3f;
padding: 7px 7px 7px 10px; padding: 7px 7px 7px 10px;
overflow: scroll; overflow: auto;
font-size: 95%; font-size: 95%;
} }