From 065a09487b34cbf768336c61ef5d2ceee66d64b7 Mon Sep 17 00:00:00 2001
From: Someone-dQw4w9WgXcQ <dcheunggb@outlook.com>
Date: Thu, 27 Jul 2023 22:11:14 +0100
Subject: [PATCH] Formatting

---
 docs/_includes/masthead.html | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/docs/_includes/masthead.html b/docs/_includes/masthead.html
index 1ef971a9..325e5d96 100644
--- a/docs/_includes/masthead.html
+++ b/docs/_includes/masthead.html
@@ -50,8 +50,7 @@
 		node2 = document.getElementById('theme_source_2');
 		node1.setAttribute('rel', 'stylesheet alternate');
 		node2.setAttribute('rel', 'stylesheet');
-	}
-	else {
+	} else {
 		localStorage.setItem('theme', 'light');
 	}
 
@@ -61,12 +60,12 @@
 		if (node1.getAttribute("rel") == "stylesheet") {
 			node1.setAttribute("rel", "stylesheet alternate");
 			node2.setAttribute("rel", "stylesheet");
-			try {editor?.setOption("theme", "dark")} catch {};
+			try { editor.setOption("theme", "dark") } catch { };
 			localStorage.setItem("theme", "dark");
 		} else {
 			node2.setAttribute("rel", "stylesheet alternate");
 			node1.setAttribute("rel", "stylesheet");
-			try {editor.setOption("theme", "light")} catch {};
+			try { editor.setOption("theme", "light") } catch { };
 			localStorage.setItem("theme", "light");
 		}
 		return false;