From 7926c36b0d5bb7bcf35ed93ae1b4373b8b385e50 Mon Sep 17 00:00:00 2001
From: Jonathan Frederic <jdfreder@calpoly.edu>
Date: Thu, 18 Dec 2014 16:28:59 -0800
Subject: [PATCH] Remove right margin from the terminal

---
 IPython/html/static/style/style.min.css         | 7 +++----
 IPython/html/static/terminal/less/terminal.less | 5 ++---
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index 6cb3576bc..c4938c6c3 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -10473,6 +10473,9 @@ span.autosave_status {
   color: white;
   background: black;
   padding: 0.4em;
+  border-radius: 2px;
+  -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
+  box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
 }
 .terminal,
 .terminal dummy-screen {
@@ -10485,9 +10488,5 @@ span.autosave_status {
 }
 #terminado-container {
   margin-top: 20px;
-  background: black;
-  border-radius: 2px;
-  -webkit-box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
-  box-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
 }
 /*# sourceMappingURL=style.min.css.map */
\ No newline at end of file
diff --git a/IPython/html/static/terminal/less/terminal.less b/IPython/html/static/terminal/less/terminal.less
index 2a35fde30..e6b2a24fb 100644
--- a/IPython/html/static/terminal/less/terminal.less
+++ b/IPython/html/static/terminal/less/terminal.less
@@ -4,6 +4,8 @@
   color: white;
   background: black;
   padding: @code_padding;
+  border-radius: @border-radius-base;
+  .box-shadow(@global-shadow-dark);
 
   &, dummy-screen {
     line-height: 1em;
@@ -18,7 +20,4 @@
 
 #terminado-container {
   margin-top: @page-header-padding;
-  background: black;
-  border-radius: @border-radius-base;
-  .box-shadow(@global-shadow-dark);
 }