From b67678234917d61b8393fa9b75092bfa2c399ab4 Mon Sep 17 00:00:00 2001
From: Mark Lentczner <markl@glyphic.com>
Date: Thu, 15 Jul 2010 23:53:01 +0000
Subject: added two new themes and rough css switcher

---
 html/haddock-util.js | 13 +++++++++++++
 1 file changed, 13 insertions(+)

(limited to 'html/haddock-util.js')

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;
+     }
+   }
+}
-- 
cgit v1.2.3