gutter line number size is kinda big

This commit is contained in:
Jon Rohan
2013-01-22 00:25:56 -08:00
parent 4fbbe84b48
commit 601334aaee
2 changed files with 4 additions and 4 deletions

View File

@@ -7,8 +7,8 @@
}
.editor .gutter .line-number {
padding-right: 1.5em;
min-width: 50px;
padding-right: 1.3em;
min-width: 35px;
box-sizing: border-box;
text-align: right;
}

View File

@@ -7,8 +7,8 @@
}
.editor .gutter .line-number {
padding-right: 1.5em;
min-width: 50px;
padding-right: 1.3em;
min-width: 35px;
box-sizing: border-box;
text-align: right;
}