var normal = 10;
var gross = 11;
var extragross = 12;
var size = null;
function set_font_size(new_size)
{
    // Regulärer Ausdruck zum ändern des Größenparameters in den Anchors des Dokuments
    reg_exp_size = /(.*)size=(\w)(.*)/i;
    // Alle Anchors des Dokuments umformen --> beim Verfolgen eines Links bleibt Größe erhalten
    anchors = document.getElementsByTagName("a");

    for(i = 0; i < anchors.length; i++)
    {
        // Text speichern, um Fehler im ie zu beheben
        text = anchors[i].innerHTML;
        // Ziel des Links auf Größenparameter untersuchen
        matches = reg_exp_size.exec(anchors[i].href);
        if(matches != null)
        {
            // Falls vorhanden, dann Wert ändern
            anchors[i].href = matches[1] + "size=" + new_size + matches[3];
        } else {
            // Falls nicht vorhanden, anfügen
            anchors[i].href = anchors[i].href + "?size=" + new_size;
        }
        // Inhalt mit Originaltext speichern
        anchors[i].innerHTML = text;
    }

    // Schriftgröße im aktuellen Dokument setzen
    switch(new_size)
    {
        case 0:size = normal;
            break;
        case 1:size = gross;
            break;
        case 2:size = extragross;
            break;
    }
    document.getElementsByTagName("body")[0].style.fontSize = size + "px";
}

function init_font_size()
{
    // URL des Dokuments holen
    url = document.URL;

    // Regulärer Ausdruck zum Finden des Größenparameters in der URL
    reg_exp_size = /.*size=(\w).*/i;

    // Regulären Ausdruck auf URL anwenden und Treffer der geklammerten Teilausdrücke in matches speichern
    matches = reg_exp_size.exec(url);

    // Prüfen ob URL mit Gesamtausdruck matched, d.h., ob 'size=' überhaupt in URL enthalten ist
    if(matches != null)
    {
        // Wert von size holen und Schriftgröße im aktuellen Dokument setzen
        size = matches[1];
        switch(size)
        {
            case "0":size = normal;
                break;
            case "1":size = gross;
                break;
            case "2":size = extragross;
                break;
        }
        document.getElementsByTagName("body")[0].style.fontSize = size + "px";
    }
}
//window.onload = init_font_size;
// OnLoad-Methode von Prototype
Event.observe(window, 'load', function() { init_font_size() });