From 789417a1ead21ba93dc7b547995db82add01c5c8 Mon Sep 17 00:00:00 2001
From: Barak Michener <me@barakmich.com>
Date: Sat, 5 Dec 2020 16:54:18 -0800
Subject: [PATCH] qol

---
 web/console.html | 7 ++++++-
 web/index.html   | 1 +
 2 files changed, 7 insertions(+), 1 deletion(-)
diff --git a/web/console.html b/web/console.html
index b769e6c..c33b06f 100644
--- a/web/console.html
+++ b/web/console.html
@@ -12,6 +12,11 @@
     </script>
     <script src="./web/pyodide_dev.js"></script>
     <!--<script src="./raylet.js"></script>-->
+    <style>
+    .terminal {
+      --size: 2;
+    }
+    </style>
   </head>
   <body>
     <script>
@@ -23,7 +28,7 @@
         var term = $('body').terminal(
           pushCode,
           {
-            greetings: "Welcome to the Pyodide terminal emulator 🐍",
+            greetings: "Python 3.8.2 (default, Dec  3 2020, 06:19:03) 🐍\n[Clang 6.0.1 (/b/s/w/ir/cache/git/chromium.googlesource.com-external-github.com",
             prompt: "[[;red;]>>> ]"
           }
         );
diff --git a/web/index.html b/web/index.html
index f9e4392..0e7d1cd 100644
--- a/web/index.html
+++ b/web/index.html
@@ -14,6 +14,7 @@
   <body>
     <h1>Clap if you believe in fairies...</h1>
     <h2 id="status">Status: starting...</h2>
+    <h3><a href="console.html" target="_blank">Open a console</a></h3>
     <div id="output">
     </div>
   </body>
