1
function setActiveStyleSheet(title) {
3
for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
4
if(a.getAttribute("rel").indexOf("style") != -1
5
&& a.getAttribute("title")) {
7
if(a.getAttribute("title") == title) a.disabled = false;
11
setCookie("theme", title);
15
function getInactiveStyleSheet() {
17
for(i=0; (a = document.getElementsByTagName("link")[i]); i++) {
18
if(a.getAttribute("rel").indexOf("style") != -1 && a.getAttribute("title") && a.disabled) return a.getAttribute("title");
24
function setCookie(name, value, expires, path, domain, secure)
26
document.cookie= name + "=" + escape(value) +
27
((expires) ? "; expires=" + expires.toGMTString() : "") +
28
((path) ? "; path=" + path : "") +
29
((domain) ? "; domain=" + domain : "") +
30
((secure) ? "; secure" : "");
33
function getCookie(name)
35
var dc = document.cookie;
36
var prefix = name + "=";
37
var begin = dc.indexOf("; " + prefix);
40
begin = dc.indexOf(prefix);
41
if (begin != 0) return null;
47
var end = document.cookie.indexOf(";", begin);
52
return unescape(dc.substring(begin + prefix.length, end));
55
function deleteCookie(name, path, domain)
59
document.cookie = name + "=" +
60
((path) ? "; path=" + path : "") +
61
((domain) ? "; domain=" + domain : "") +
62
"; expires=Thu, 01-Jan-70 00:00:01 GMT";
67
function checkForTheme() {
68
var theme = getCookie('theme');
72
setActiveStyleSheet(theme);
76
// to hide and show the styles
77
// inspired by www.wikipedia.org
78
function toggle_stylebox() {
79
var stylebox = document.getElementById('stylebox');
80
var showlink=document.getElementById('showlink');
81
var hidelink=document.getElementById('hidelink');
82
if(stylebox.style.display == 'none') {
83
stylebox_was = stylebox.style.display;
84
stylebox.style.display = '';
85
hidelink.style.display='';
86
showlink.style.display='none';
88
stylebox.style.display = stylebox_was;
89
hidelink.style.display='none';
90
showlink.style.display='';