Fix a styling problem

This commit is contained in:
Tobias Hößl 2016-09-05 20:03:41 +02:00
parent 54dd21dce0
commit b701127f04
2 changed files with 4 additions and 0 deletions

View File

@ -397,6 +397,7 @@ img {
color: gray; color: gray;
font-family: Courier, serif; font-family: Courier, serif;
font-size: 13px; font-size: 13px;
font-weight: normal;
} }
.motion-text.line-numbers-inline .os-line-break { .motion-text.line-numbers-inline .os-line-break {
@ -410,6 +411,7 @@ img {
content: attr(data-line-number); content: attr(data-line-number);
vertical-align: top; vertical-align: top;
font-size: 11px; font-size: 11px;
font-weight: normal;
color: gray; color: gray;
font-family: Courier, serif; font-family: Courier, serif;
margin-top: -3px; margin-top: -3px;

View File

@ -394,6 +394,7 @@ tr.elected td {
color: gray; color: gray;
font-family: Courier, serif; font-family: Courier, serif;
font-size: 13px; font-size: 13px;
font-weight: normal;
} }
.motion-text.line-numbers-inline .os-line-break { .motion-text.line-numbers-inline .os-line-break {
@ -407,6 +408,7 @@ tr.elected td {
content: attr(data-line-number); content: attr(data-line-number);
vertical-align: top; vertical-align: top;
font-size: 0.75em; font-size: 0.75em;
font-weight: normal;
color: gray; color: gray;
font-family: Courier, serif; font-family: Courier, serif;
margin-top: -5px; margin-top: -5px;