avoid unnecessary scrollbars

This commit is contained in:
Patric Steiner 2020-01-21 10:25:56 +01:00
parent cf2ebf4c0f
commit 42f752a2b8
1 changed files with 1 additions and 1 deletions

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%;
} }