From b2967f25dd1e9f3b4df8e488c31d52bf6557a098 Mon Sep 17 00:00:00 2001
From: Bram Van Pevenage <55691795+BramVanPevenage@users.noreply.github.com>
Date: Mon, 17 Apr 2023 09:47:33 +0200
Subject: [PATCH] :wrench: Configure online editor

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 5d38cc3..bae67d4 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": {