whenDOMReady(function () {
    var head = document.getElementById("head");
    var fontSize = '<p xmlns="http://www.w3.org/1999/xhtml" id="fontsize">Schriftgröße: <button title="vergrößern">+</button><button title="verkleinern">&#8722;</button></p>';
    var imported = importNode(fontSize.parseAsXML().firstChild, true);
    head.appendChild(imported);

    var buttons = imported.getElementsByTagName("button");
    var body = document.body.style;
    body.fontSize = "100%";
    addEvent(buttons[0], "click", function () {
        if (parseInt(body.fontSize) < 130) body.fontSize = (parseInt(body.fontSize) + 10) + "%" }
    );
    addEvent(buttons[1], "click", function () {
        if (parseInt(body.fontSize) > 70) body.fontSize = (parseInt(body.fontSize) - 10) + "%" }
    );
});