var staticImagesPath = '';

<!--
function set_static_images_path(path) {
	staticImagesPath = path;
}
//-->

<!--
function set_size_button(new_style) {
 	document.getElementById('button_small').style.backgroundImage="url("+staticImagesPath+"/schriftgroesse_bg.gif)";
 	document.getElementById('button_medium').style.backgroundImage="url("+staticImagesPath+"/schriftgroesse_bg.gif)";
 	document.getElementById('button_large').style.backgroundImage="url("+staticImagesPath+"/schriftgroesse_bg.gif)";
 	document.getElementById('button_'+new_style).style.backgroundImage="url("+staticImagesPath+"/schriftgroesse_bg_x.gif)";
}
//-->