diff --git a/website/src/repl/Repl.css b/website/src/repl/Repl.css
index 0400db7a..9c4a440d 100644
--- a/website/src/repl/Repl.css
+++ b/website/src/repl/Repl.css
@@ -57,3 +57,7 @@
 #code .cm-foldGutter {
   display: none !important;
 }
+
+#code .cm-focused {
+  outline: none;
+}