// JavaScript Document
// Die alternativen Stylesheets anbieten:
// Die Buttons fuer die Stylesheets werden ueber JavaScript erzeugt und stehen daher nur
// bei eingeschalteten JavaScript zur Verfuegung (der Styleswitcher basiert ebenfalls auf Javascript).
// Bei deaktiviertem JavaScript bleibt die Auswahl ueber das Style-Menue; des Browsers erhalten
// Deutsche Version:
function stylewechslermenu_de_norm()
{
document.write("Normaler Text");
}
function stylewechslermenu_de_big()
{
document.write("XL-Text");
}
// Englische Version:
function stylewechslermenu_en_norm()
{
document.write("Standard");
}
function stylewechslermenu_en_big()
{
document.write("XL-Text");
}
// Hier die funktionen zur erzeugung von zur�ck und drucken
function back_de()
{
document.write("Zurück")
}
function print_de()
{
document.write("Drucken")
}
// Hier die funktionen zur erzeugung von back und print eben auf englisch
function back_en()
{
document.write("back")
}
function print_en()
{
document.write("print")
}