/* Navigationsleiste in Abhängigkeit von angegebenen verlinkten Dokumenten mit
	<link rel=".." id=".." href=".." title="..">
	(Wichtig: id=rel)

   Verwendet werden: start / chapter / section / subsection, prev / next, glossary / index / contents
*/

document.write("<table><tr><td align=\"left\">");
if (document.getElementById("start")) {
	document.write("<a href=\"" + document.getElementById("start").href + "\">" +
					document.getElementById("start").title + "</a>");
}
if (document.getElementById("chapter")) {
	document.write(" / <a href=\"" + document.getElementById("chapter").href + "\">" +
					document.getElementById("chapter").title + "</a>");
};
if (document.getElementById("section")) {
	document.write(" / <a href=\"" + document.getElementById("section").href + "\">" +
					document.getElementById("section").title + "</a>");
};
if (document.getElementById("subsection")) {
	document.write(" / <a href=\"" + document.getElementById("subsection").href + "\">" +
					document.getElementById("subsection").title + "</a>");
};
document.write("</td><td align=\"right\">");
if (document.getElementById("prev")) {
	document.write("<a href=\"" + document.getElementById("prev").href + "\">&laquo; " +
			document.getElementById("prev").title + "</a>");
}
document.write("</td><td align=\"left\">");
if (document.getElementById("next")) {
	document.write("<a href=\"" + document.getElementById("next").href + "\">" +
			document.getElementById("next").title + " &raquo;</a>");
}
document.write("</td><td align=\"right\">");
if (document.getElementById("glossary")) {
	document.write("<a href=\"" + document.getElementById("glossary").href + "\">" +
					document.getElementById("glossary").title + "</a> ");
}
if (document.getElementById("index")) {
	document.write("<a href=\"" + document.getElementById("index").href + "\">" +
					document.getElementById("index").title + "</a> ");
}
if (document.getElementById("contents")) {
	document.write("<a href=\"" + document.getElementById("contents").href + "\">" +
					document.getElementById("contents").title + "</a>");
}
document.write("</td></tr></table>");