// =============================================================
// Stylesheet umschalten
// =============================================================
// das Umschalten erfolgt mit:
// Stylesheet standard.css
// Stylesheet erweitert.css
function changeCSSFile(cssFile,cssLinkIndex) {
var oldlink = document.getElementsByTagName("link").item(cssLinkIndex);
var newlink = document.createElement("link");
newlink.setAttribute("rel", "stylesheet");
newlink.setAttribute("type", "text/css");
newlink.setAttribute("href", cssFile);
document.getElementsByTagName("head").item(0).replaceChild(newlink,oldlink);
}