Make terminal pretty

IPython/html/static/terminal/js/main.js

@@ -29,7 +29,7 b' require(['
     var header = $("#header")[0]
     function calculate_size() {
         height = window.innerHeight - header.offsetHeight;
-        width = window.innerWidth;
+        width = $('#terminado-container').width();
         var rows = Math.min(1000, Math.max(20, Math.floor(height/termRowHeight())-1));
         var cols = Math.min(1000, Math.max(40, Math.floor(width/termColWidth())-1));
         console.log("resize to :", rows , 'rows by ', cols, 'columns');

IPython/html/static/terminal/less/terminal.less

@@ -1,10 +1,19 b''
 .terminal {
   float: left;
   border: black solid 5px;
-  font-family: "DejaVu Sans Mono", "Liberation Mono", monospace;
+  font-family: monospace;
   font-size: 11px;
   color: white;
   background: black;
+  border-radius: 2px;
+  box-shadow: 0px 4px 11px 0px gray;
+  border: 0px;
+  padding: @code_padding;
+
+  &, dummy-screen {
+    line-height: @code_line_height;
+    font-size: @notebook_font_size;
+  }
 }
 
 .terminal-cursor {
@@ -13,5 +22,5 b''
 }
 
 #terminado-container {
-    margin: 8px;
+  padding-top: 20px;
 }

IPython/html/static/tree/css/override.css

@@ -3,5 +3,5 b' This is only required when different pages style the same element differently. T'
 a hack to deal with our current css styles and no new styling should be added in this file.*/
 
 #ipython-main-app {
-    margin: 28px auto 0px auto;
+    margin: 20px auto 0px auto;
 }

IPython/html/templates/terminal.html

@@ -12,7 +12,7 b' data-ws-path="{{ws_path}}"'
 
 {% block site %}
 
-<div id="terminado-container"></div>
+<div id="terminado-container" class="container"></div>
 
 {% endblock %}