diff --git a/IPython/html/static/style/style.min.css b/IPython/html/static/style/style.min.css
index 1a9c872..78c3e05 100644
--- a/IPython/html/static/style/style.min.css
+++ b/IPython/html/static/style/style.min.css
@@ -10411,16 +10411,25 @@ span.autosave_status {
.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: 0.4em;
+}
+.terminal,
+.terminal dummy-screen {
+ line-height: 1.21429em;
+ font-size: 14px;
}
.terminal-cursor {
color: black;
background: white;
}
#terminado-container {
- margin: 8px;
+ padding-top: 20px;
}
/*# sourceMappingURL=style.min.css.map */
\ No newline at end of file