diff --git a/IPython/html/static/notebook/less/terminal.less b/IPython/html/static/notebook/less/terminal.less
index 6eb7fcb..f20cefa 100644
--- a/IPython/html/static/notebook/less/terminal.less
+++ b/IPython/html/static/notebook/less/terminal.less
@@ -11,3 +11,7 @@
   color: black;
   background: white;
 }
+
+#terminado-container {
+    margin: 8px;
+}
diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index f6bc109..bdddd75 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -10495,4 +10495,7 @@ span#autosave_status {
   color: black;
   background: white;
 }
+#terminado-container {
+  margin: 8px;
+}
 /*# sourceMappingURL=../style/style.min.css.map */
\ No newline at end of file
diff --git a/IPython/html/static/terminal/css/override.css b/IPython/html/static/terminal/css/override.css
deleted file mode 100644
index 0e37952..0000000
--- a/IPython/html/static/terminal/css/override.css
+++ /dev/null
@@ -1,7 +0,0 @@
-/*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.*/
-
-#terminado-container {
-    margin: 8px;
-}