Add highligh.js

1 files changed, 9 insertions, 0 deletions

diff --git a/static/scripts/theme.js b/static/scripts/theme.js
index 4bfa68e..68a0cbb 100644
--- a/static/scripts/theme.js
+++ b/static/scripts/theme.js
@@ -16,10 +16,14 @@ window.onload = () => {
       switch_theme.checked = false;
 
       let theme = document.getElementById('theme-css');
+      let code_theme = document.getElementById('code-theme-css');
       let href = theme.getAttribute('href');
+      let code_href = code_theme.getAttribute('href');
 
       href = href.replace('dark.css', 'light.css');
+      code_href = code_href.replace('solarized-dark.min.css', 'solarized-light.min.css');
       theme.setAttribute('href', href);
+      code_theme.setAttribute('href', code_href);
     }
   }
 
@@ -39,18 +43,23 @@ function setTheme(){
 // toggles between both themes, and then calls set theme to actually set it persistently.
 function toggleTheme(){
   let theme = document.getElementById('theme-css');
+  let code_theme = document.getElementById('code-theme-css');
   let href = theme.getAttribute('href');
+  let code_href = code_theme.getAttribute('href');
 
   if(href.endsWith('dark.css')){
     href = href.replace('dark.css', 'light.css');
+    code_href = code_href.replace('solarized-dark.min.css', 'solarized-light.min.css');
   }
   else if (href.endsWith('light.css')){
     href = href.replace('light.css', 'dark.css');
+    code_href = code_href.replace('solarized-light.min.css', 'solarized-dark.min.css');
   }
   else{
     console.log('Wrong replacement.');
   }
 
   theme.setAttribute('href', href);
+  code_theme.setAttribute('href', code_href);
   setTheme();
 }