diff options
| author | Marvin Borner | 2019-05-13 20:40:46 +0200 |
|---|---|---|
| committer | Marvin Borner | 2019-05-13 20:40:46 +0200 |
| commit | 59b910056f2e171d60ef635d6bca7308b3c617d2 (patch) | |
| tree | 40dacf8a63c4f42df944073a9d918da2d57250e3 /src/main/resources/js/prettify.js | |
| parent | 5f484e57f1a2361441e725e643905b1d20ac45ad (diff) | |
Improved dark mode in editor/fileview
Co-authored-by: LarsVomMars <lars@kroenner.eu>
Diffstat (limited to 'src/main/resources/js/prettify.js')
| -rw-r--r-- | src/main/resources/js/prettify.js | 2 |
1 files changed, 1 insertions, 1 deletions
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) { |