From 1e57bee5136d40ce95507d1e263c7e76525d9816 Mon Sep 17 00:00:00 2001
From: Marcin Kulik <marcin.kulik@gmail.com>
Date: Tue, 11 Jun 2013 17:41:24 +0200
Subject: [PATCH] Fix terminal line's line-height

---
 app/assets/stylesheets/_terminal-font.sass    | 1 -
 app/assets/stylesheets/player/player.css.sass | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/app/assets/stylesheets/_terminal-font.sass b/app/assets/stylesheets/_terminal-font.sass
index 2dcc059..029979c 100644
--- a/app/assets/stylesheets/_terminal-font.sass
+++ b/app/assets/stylesheets/_terminal-font.sass
@@ -1,4 +1,3 @@
 =terminal-font
   font-family: 'Bitstream Vera Sans Mono', 'Courier New', monospace
   font-size: 12px
-  line-height: inherit
diff --git a/app/assets/stylesheets/player/player.css.sass b/app/assets/stylesheets/player/player.css.sass
index 54ad5ce..721cfcc 100644
--- a/app/assets/stylesheets/player/player.css.sass
+++ b/app/assets/stylesheets/player/player.css.sass
@@ -27,9 +27,9 @@ $color5: #edc951
   .terminal, .font-sample, .hud
     +terminal-font
 
-    .line
-      line-height: 15px
+    line-height: 1.4
 
+    .line
       span
         padding: 1px 0