function PageTools()
{
    var el = document.getElementById("Pagetools");

    if (el) {
        var html = "";
        html += "<li><a href=\"#\" id=\"print\" onclick=\"javascript:window.print()\" onkeypress=\"javascript:window.print()\">Skriv ut</a></li>";
        html += "<li><a href=\"#\" id=\"normal\" onclick=\"setActiveStyleSheet('normal'); return false;\" onkeypress=\"setActiveStyleSheet('normal'); return false;\" title=\" Normal textstorlek \">A</a></li>";
        html += "<li><a href=\"#\" id=\"larger\" onclick=\"setActiveStyleSheet('larger'); return false;\" onkeypress=\"setActiveStyleSheet('larger'); return false;\" title=\" St&ouml;rre textstorlek \">A</a></li>";
        html += "<li><a href=\"#\" id=\"largest\" onclick=\"setActiveStyleSheet('largest'); return false;\" onkeypress=\"setActiveStyleSheet('largest'); return false;\" title=\" St&ouml;rst textstorlek \">A</a></li>";
        
        el.innerHTML = html;
    }
}