From 73205158200f034dd66e9bf163137d0e25585e39 Mon Sep 17 00:00:00 2001 From: Paris Date: Thu, 2 Jun 2016 13:08:06 +0300 Subject: [PATCH] Tiny styling update in row line height --- src/xterm.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/xterm.css b/src/xterm.css index 5cfa6ff7..055c0fc0 100644 --- a/src/xterm.css +++ b/src/xterm.css @@ -2123,7 +2123,7 @@ * in order to allow child elements to adjust. */ .terminal .xterm-rows > div { - line-height: 1.2; + line-height: 1.3; } /**