Align line numbers for non-default font size

This commit is contained in:
Simon Knox 2019-06-10 05:00:43 +00:00
parent 1f8eeb0b3e
commit 72010ed6fe

View file

@ -11,7 +11,7 @@
border-radius: 0 0 $border-radius-default $border-radius-default; border-radius: 0 0 $border-radius-default $border-radius-default;
font-family: $monospace-font; font-family: $monospace-font;
font-size: $code-font-size; font-size: $code-font-size;
line-height: 19px; line-height: 1.5;
margin: 0; margin: 0;
overflow: auto; overflow: auto;
overflow-y: hidden; overflow-y: hidden;
@ -30,7 +30,7 @@
.line { .line {
display: block; display: block;
width: 100%; width: 100%;
min-height: 19px; min-height: 1.5em;
padding-left: 10px; padding-left: 10px;
padding-right: 10px; padding-right: 10px;
white-space: pre; white-space: pre;
@ -48,7 +48,7 @@
font-family: $monospace-font; font-family: $monospace-font;
display: block; display: block;
font-size: $code-font-size !important; font-size: $code-font-size !important;
min-height: 19px; min-height: 1.5em;
white-space: nowrap; white-space: nowrap;
i { i {