From 04f55dfdd2366b5fd5ea4d0f890aaaa2fa6cb37b Mon Sep 17 00:00:00 2001
From: Zankaria <zankaria.auxa@skiff.com>
Date: Fri, 23 Aug 2024 00:00:45 +0200
Subject: [PATCH] main.js: check if there even is a style before setting the
 code style

---
 templates/main.js | 22 ++++++++++++----------
 1 file changed, 12 insertions(+), 10 deletions(-)

diff --git a/templates/main.js b/templates/main.js
index 18646385..db5aa38b 100755
--- a/templates/main.js
+++ b/templates/main.js
@@ -150,17 +150,19 @@ function changeStyle(styleName, link) {
 	document.getElementById('stylesheet').href = styles[styleName];
 	selectedstyle = styleName;
 
-	// Code stylesheet
-	if (!document.getElementById('code_stylesheet')) {
-		var s = document.createElement('link');
-		s.rel = 'stylesheet';
-		s.type = 'text/css';
-		s.id = 'code_stylesheet';
-		var x = document.getElementsByTagName('head')[0];
-		x.appendChild(s);
-	}
+	if (codestyles[styleName]) {
+		// Code stylesheet
+		if (!document.getElementById('code_stylesheet')) {
+			var s = document.createElement('link');
+			s.rel = 'stylesheet';
+			s.type = 'text/css';
+			s.id = 'code_stylesheet';
+			var x = document.getElementsByTagName('head')[0];
+			x.appendChild(s);
+		}
 
-	document.getElementById('code_stylesheet').href = codestyles[styleName];
+		document.getElementById('code_stylesheet').href = codestyles[styleName];
+	}
 
 	if (document.getElementsByClassName('styles').length != 0) {
 		var styleLinks = document.getElementsByClassName('styles')[0].childNodes;