function readCookie() {
    var theme = document.cookie;
    var theme = unescape(theme);

    return theme;
}

function writeCookie(theme) {
   //FIXME - set expires
   var original_cookie = "theme=" + escape(theme);
   document.cookie = original_cookie;
}


function toggle_div(classname) {
	var div = document.getElementById(classname);
    if(div.style.display == 'none') {
			div.style.display = 'block';
		} else {
			div.style.display = 'none';
		}
}