// set style function
// $Id: switcher.js,v 1.2 2004/02/17 19:44:55 kuba Exp $
function setCSS(ttl) {
	var i, a, main;
	if (ttl && document.getElementsByTagName && document.styleSheets) {
		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('title') == ttl) a.disabled = false;
				var b = a;
				}
			}
		return false;
		}
	else {
		alert ('Váš prohlížeč nepodporuje funkce javascriptu potřebné k přepíná stylů. Načte se nová stránka se stejným obsahem a jiným stylem.');
		return true;
		}
	}