// Zeige "Zur Startseite" bzw. das Home-Symbol an, wenn die Seite nicht in das Original-Frameset eingebettet ist.
// Z.B. bettet Google die Seiten bei der Bildersuche in ein eigenes Frameset ein.
// Diese Links funktionieren nicht lokal, aber das ist ja nicht wichtig. Hauptsache draussen.
function zum_inhalt() {
    if (window.location.hostname != "" &&  // wenn wir nicht lokal arbeiten
		(parent.frames.length < 2 ||       // und die Seite nicht in ein Frameset eingebettet ist
		// oder die Seite zwar, wie bei der Google-Bildersuche, in ein Frameset eingebettet ist, 
		// aber dessen Frameset-File nicht mit html endet
        document.referrer.lastIndexOf("html") != document.referrer.length - 4 &&
        document.referrer.lastIndexOf("php") != document.referrer.length - 3)) { // fuer den Link von main.php auf den Workshop
        document.write("<a href='/index.html' target='_blank'>Startseite</a>&nbsp;<a href='/index.html' target='_blank' alt='Home'><img src='/images/home.png' class='ohne_rand' style='vertical-align:middle;' alt='Home' title='Home' /></a>");
    } else {
        document.write("&nbsp;");
    }
}

// In main hat der Referrer kein .html am Ende, daher:
function von_main_zum_inhalt() {
    if (window.location.hostname != "" &&  // wenn wir nicht lokal arbeiten 
		parent.frames.length < 2) {
        document.write("<p style='text-align:center;margin-top:15px;margin-bottom:15px;font-size:large;'><a href='/index.html' target='_top'><b>Zum&nbsp;Inhaltsverzeichnis</b></a></p>");
    } else {
        document.write("&nbsp;");
    }
}

function vom_vollbild_zum_inhalt() {
    if (window.location.hostname != "" &&  // wenn wir nicht lokal arbeiten
		(parent.frames.length < 2 || document.referrer.lastIndexOf("html") != document.referrer.length - 4)) {
        document.write("&nbsp;&nbsp;<a href='/index.html' target='_blank'>Zur&nbsp;Startseite</a>");
    }
}

// Sorge dafuer, dass die Beschreibungstexte bei hoher Aufloesung nicht so lange Zeilen bilden
function nicht_zu_breit_beginn() {
    if (screen.width > 1000) {
        document.write("<div id='seitenbreite'>");
    }
}

function nicht_zu_breit_ende() {
    if (screen.width > 1000) {
        document.write("</div>");
    }
}