From 0b326e71e6224763729ed68e171b1b394256ac4a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Tobi=20Sch=C3=A4fer?= <interface@p3k.org>
Date: Tue, 27 May 2025 20:26:38 +0200
Subject: [PATCH] Add compatibility fix for CSS skins with <style> element

---
 code/Site/Site.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/code/Site/Site.js b/code/Site/Site.js
index 09cdc67d..413fb185 100644
--- a/code/Site/Site.js
+++ b/code/Site/Site.js
@@ -489,7 +489,8 @@ Site.prototype.main_css_action = function() {
   res.push();
   this.renderSkin('$Site#stylesheet');
   this.renderSkin('Site#stylesheet');
-  var css = res.pop();
+  var css = res.pop()
+    .replace(/<(\/?style|!).*/g, ''); // TODO: Actually, a compatibility fix (earlier CSS skins contained the <style> element)
 
   try {
     lessParser.parse(css, function(error, less) {