From 59b910056f2e171d60ef635d6bca7308b3c617d2 Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Mon, 13 May 2019 20:40:46 +0200
Subject: Improved dark mode in editor/fileview

Co-authored-by: LarsVomMars <lars@kroenner.eu>
---
 src/main/resources/js/prettify.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/resources/js/prettify.js')

diff --git a/src/main/resources/js/prettify.js b/src/main/resources/js/prettify.js
index 5c0d71d..882e565 100644
--- a/src/main/resources/js/prettify.js
+++ b/src/main/resources/js/prettify.js
@@ -100,7 +100,7 @@
             N.insertBefore(g, N.firstChild)
         })(H[l]);
         for (var S = H.length, F = [], l = 0, B = P.length; l < B; ++l) F.push("https://cdn.rawgit.com/google/code-prettify/master/loader/skins/" + encodeURIComponent(P[l]) + ".css");
-        F.push("/css/lightTheme.css");
+        //F.push("/css/lightTheme.css");
         (function (g) {
             function r(l) {
                 if (l !== x) {
-- 
cgit v1.2.3