From 9e0495c1f83cd392348ee9c67737efa0eed5ee8e Mon Sep 17 00:00:00 2001
From: Marshall Lochbaum <mwlochbaum@gmail.com>
Date: Wed, 2 Sep 2020 15:16:01 -0400
Subject: Add a character counter to the main online REPL

---
 docs/try.html | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'docs/try.html')

diff --git a/docs/try.html b/docs/try.html
index 41159639..89c4ceca 100644
--- a/docs/try.html
+++ b/docs/try.html
@@ -8,8 +8,9 @@
   <style>
     li { margin:0.7em 0; }
     textarea { padding:0.2em; }
-    .perm { font-size:0.7em; margin:-0.2em 1.6em 0 0; }
+    .perm, .count { font-size:0.7em; margin:-0.2em 1.6em 0 0; }
     .run, .perm { float:right; }
+    .count { float:left; opacity:0.6; }
     .rslt { border:none; background:none; min-height:8em; }
   </style>
 </head>
@@ -18,7 +19,8 @@
   <div class="cont">
     <div class="kb"></div>
     <textarea class="code" rows="8" autofocus></textarea>
-    <input class="run" type="submit" value="Run (or shift-enter)">
+    <div class="count"></div>
+    <input class="run" type="submit" value="Run (or shift-enter)"/>
     <a class="perm" href="#" title="Link with the code above embedded">permalink</a>
   </div>
   <pre class="rslt"></pre>
-- 
cgit v1.2.3