diff --git a/docs/_includes/repl.html b/docs/_includes/repl.html
index 7330dfaf..bb74abec 100644
--- a/docs/_includes/repl.html
+++ b/docs/_includes/repl.html
@@ -39,8 +39,16 @@
         matchBrackets: true,
         lineNumbers: true,
         smartIndent: true,
+        indentWithTabs: true,
+        indentUnit: 4,
     });
     editor.setValue("print(\"Hello World!\")\n");
+        editor.addKeyMap({
+        "Shift-Tab": function (cm) {
+            // dedent functionality
+            cm.execCommand("indentLess");
+        }
+    });
 
     // Misc Functions
     function output(text) {