diff --git a/html/style.css b/html/style.css
index 72d65e9db207a9165811e78454f8bae4635d7c31..1c83119dad884690ac83161a4b6651fe30567fb9 100644
--- a/html/style.css
+++ b/html/style.css
@@ -11,10 +11,21 @@ div.owl {
   background: #edd;
   border:1pt solid;
 }
+div.terminal {
+// JE: This may be a bit too much but I like it.
+// Invert color when selecting is not good.
+// I must do something for it to print correctly
+	color: #63FF00;
+	background: #000;
+	font: normal 12px "bitstream vera sans mono", monaco "lucida console", "courier new", courier, serif;
+	overflow: auto;
+}
 div.fragment {
-  background: #dde;
-  border:1pt solid;
-  overflow-y: scroll;
+    margin: 0.9em 0; padding: 8px;
+    border: 1pt solid;
+    background: #dde;
+    border:1pt solid;
+    overflow: auto;
 }
 div.logic {
   background: #ded;