function wp_print_fontsizer() {
	document.write("<li>Schriftgr&ouml;&szlig;e: <a href=\"/klein\" onclick=\"setActiveStyleSheet('font100%'); return false;\" id=\"f1\">A</a> <a href=\"/mittel\" onclick=\"setActiveStyleSheet('font110%'); return false;\" id=\"f2\">A</a> <a href=\"/gross\" onclick=\"setActiveStyleSheet('font120%'); return false;\" id=\"f3\">A</a></li>");
//	document.write("<h2>Kontrast:</h2><p><a href=\"/Kontrast:_Normal\" onclick=\"desetActiveStyleSheet('kont-no'); return false;\" id=\"f1\">Normal</a> <a href=\"/Kontrast:_Schwarz/Wei&szlig;\" onclick=\"desetActiveStyleSheet('kont-sw'); return false;\" id=\"f2\">Schwarz/Wei&szlig;</a> <a href=\"/Kontrast:_Invers\" onclick=\"desetActiveStyleSheet('kont-iv'); return false;\" id=\"f3\">Invers</a></p>");
}