From 99a7061a672b465b017a619c9916a73456cd27b2 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=B6ren=20Weber?= <mail@soeren-weber.de>
Date: Tue, 15 Feb 2022 01:37:48 +0100
Subject: [PATCH] theme: IE11 compat for theme switch #178

---
 layouts/partials/stylesheet.html | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/layouts/partials/stylesheet.html b/layouts/partials/stylesheet.html
index beca6834fd..583ab7173d 100644
--- a/layouts/partials/stylesheet.html
+++ b/layouts/partials/stylesheet.html
@@ -27,8 +27,8 @@
     {{- end }}
     </style>
     <script>
-      // we need to define this script in the head to avoid flickering an
-      // page load if the user has selected a non default variant
+      {{ "// we need to define this script in the head to avoid flickering" | safeJS }}
+      {{ "// on page load if the user has selected a non default variant" | safeJS }}
       var theme = window.localStorage.getItem( 'theme' );
       changeTheme( theme );
       function getTheme(){
@@ -53,7 +53,7 @@
           {{- $quotedthemevariants = $quotedthemevariants | append (printf "\"%s\"" .) }}
         {{- end }}
         var themes = [ {{ delimit $quotedthemevariants ", " | safeJS }} ];
-        if( !themes.find( function(e){ return e==theme; } ) ){
+        if( themes.indexOf( theme ) < 0 ){
           theme = themes.length ? themes[ 0 ] : null;
         }
         if( !theme ){
@@ -69,9 +69,9 @@
           window.localStorage.setItem( 'theme', theme );
           link.setAttribute( 'href', new_path );
           markTheme( theme );
-          // remove selection, because if some uses an arrow navigation
-          // by pressing the left or right cursor key, we will automatically
-          // select a different style
+          {{ "// remove selection, because if some uses an arrow navigation" | safeJS }}
+          {{ "// by pressing the left or right cursor key, we will automatically" | safeJS }}
+          {{ "// select a different style" | safeJS }}
           if( document.activeElement ){
             document.activeElement.blur();
           }