Put a bit more space between editor lines

This commit is contained in:
Corey Johnson & Nathan Sobo
2012-08-01 17:16:15 -06:00
parent 6de055aa1c
commit 430fc0eff1

View File

@@ -73,10 +73,11 @@
width: 100%; width: 100%;
} }
.editor .line { .editor .line, .gutter .line-number {
white-space: pre; white-space: pre;
margin: 0; margin: 0;
padding: 0; padding: 0;
padding-bottom: .05em;
z-index: 1; z-index: 1;
} }