// 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:
// kleine Schrift
function stylewechsler_de_klein()
{
// onkeypress=\"setActiveStyleSheet('Standard');\"
document.write("klein");
}
// Standard-Schriftgroesse
function stylewechsler_de_medium()
{
document.write("mittel");
}
// Grosse Schrift
function stylewechsler_de_gross()
{
document.write("groß");
}