From b2d414894d593640de965ccf771f7fab6cac7407 Mon Sep 17 00:00:00 2001
From: Bram Van Pevenage <55691795+BramVanPevenage@users.noreply.github.com>
Date: Sun, 12 Nov 2023 07:27:49 +0100
Subject: [PATCH] :wrench: Configure online editor (#243)

used [style guide](https://www.cs.cornell.edu/courses/cs312/2001SP/style.html)

modified indentation to 2
---
 config.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/config.json b/config.json
index 0106b1d..5c93c41 100644
--- a/config.json
+++ b/config.json
@@ -12,7 +12,7 @@
   "version": 3,
   "online_editor": {
     "indent_style": "space",
-    "indent_size": 4,
+    "indent_size": 2,
     "highlightjs_language": "sml"
   },
   "test_runner": {