function font_size () {
var betta = '<a href="' + (document.all ? '#' : '') + '" onclick="javascript:incFontSize ();return;" title="Schrift vergr&ouml;&szlig;ern" style="padding:.2em; border:#EEDDCC 1px solid; text-decoration:none;"><span style="font-size:.7em;">A</span><span style="font-size:.9em;">A</span></a> <a href="' + (document.all ? '#' : '') + '" onclick="javascript:decFontSize ();return;" title="Schrift verkleinern" style="padding:.2em; border:#EEDDCC 1px solid; text-decoration:none;"><span style="font-size:.9em;">A</span><span style="font-size:.7em;">A</span></a>';
return betta;
}