// js only, so don't show it otherwise

document.write('<div class="navtext">Police: ');
document.write('<a href="#" onclick="delCookie(\'fontsize\'); location.reload();" >Normale <\/a>|');
document.write('<a href="#" onclick="setCookie(\'fontsize\', \'large\', 30); location.reload();" > Grosse<\/a>');
document.write('<\/div>');