function schrift_klein()
{
window.document.write("<a href='/php/portal.php?enlarge=-1' class='fontsize'>&#8211;</a>");
}
function schrift_gross()
{
window.document.write("&nbsp;&nbsp;<a href='/php/portal.php?enlarge=2' class='fontsize'>+</a>&nbsp;&nbsp;");
}
function schrift_normal()
{
window.document.write("<a href='/php/portal.php?enlarge=0' class='text_fix2'>normal</a>");
}