Merge pull request #213 from github/line-height

Adding a line-height to the editor.
2026-01-24 14:28:14 -05:00 · 2013-01-31 08:29:46 -08:00
parent ccb95dbefc 7e030b09e7
commit b401cc4674
2 changed files with 2 additions and 0 deletions
--- a/Dark/editor.css
+++ b/Dark/editor.css
@@ -1,5 +1,6 @@
 .editor {
  font-family: Inconsolata, Monaco, Courier;
+  line-height: 1.3;
 }

 .editor.mini {
--- a/Light/editor.css
+++ b/Light/editor.css
@@ -1,5 +1,6 @@
 .editor {
  font-family: Inconsolata, Monaco, Courier;
+  line-height: 1.3;
 }

 .editor.mini {