From ec35079b06bc2fef282304de94aa47039bf94fee Mon Sep 17 00:00:00 2001
From: Grant Nestor <grantnestor@gmail.com>
Date: Mon, 12 Sep 2016 09:53:21 -0700
Subject: [PATCH] Fix terminal width style bug

---
 notebook/static/terminal/less/terminal.less | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/notebook/static/terminal/less/terminal.less b/notebook/static/terminal/less/terminal.less
index 4605e26ba..de893f6e4 100644
--- a/notebook/static/terminal/less/terminal.less
+++ b/notebook/static/terminal/less/terminal.less
@@ -7,6 +7,7 @@
   }
 
   .terminal {
+    width: 100%;
     float: left;
     font-family: monospace;
     color: white;
@@ -19,6 +20,10 @@
       line-height: 1em;
       font-size: @notebook_font_size;
     }
+    
+    .xterm-rows {
+      padding: 10px;
+    }
   }
 
   .terminal-cursor {