Prevent terminal from scrolling

IPython/html/static/terminal/css/override.css

@@ -0,0 +1,7 b''
+/*This file contains any manual css for this page that needs to override the global styles.
+This is only required when different pages style the same element differently. This is just
+a hack to deal with our current css styles and no new styling should be added in this file.*/
+
+body {
+    overflow: hidden;
+}

IPython/html/static/base/less/variables.less

@@ -41,5 +41,6 b' label {'
 
 // Our own global variables for all pages go here
 @global-shadow: 0px 0px 12px 1px rgba(87, 87, 87, 0.2);
+@global-shadow-dark: 0px 0px 12px 1px rgba(87, 87, 87, 0.4);
 @page-header-padding: 20px;
 

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

@@ -4,7 +4,7 b''
   color: white;
   background: black;
   border-radius: @border-radius-base;
-  box-shadow: 0px 4px 11px 0px gray;
+  .box-shadow(@global-shadow-dark);
   padding: @code_padding;
 
   &, dummy-screen {

IPython/html/templates/terminal.html

@@ -9,6 +9,11 b' data-ws-path="{{ws_path}}"'
 
 {% endblock %}
 
+{% block stylesheet %}
+{{super()}}
+
+<link rel="stylesheet" href="{{ static_url("terminal/css/override.css") }}" type="text/css" />
+{% endblock %}
 
 {% block site %}