added two new themes and rough css switcher

1 files changed, 13 insertions, 0 deletions

diff --git a/html/haddock-util.js b/html/haddock-util.js
index 364081f0..227ac4f8 100644
--- a/html/haddock-util.js
+++ b/html/haddock-util.js
@@ -137,3 +137,16 @@ function setSynopsis(filename) {
       parent.window.synopsis.location = filename;
     }
 }
+
+
+function setActiveStyleSheet(href) {
+   var i, a, main;
+   for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
+     if(a.getAttribute("rel").indexOf("style") != -1
+        && a.getAttribute("title")) {
+       a.disabled = true;
+       if(a.getAttribute("href") == href) a.disabled = false;
+       //a.disabled = a.getAttribute("title") != title;
+     }
+   }
+}