/* gui_master.js
 * Regelt alle JS-Aufrufe für gui_master.htm
 */
document.write('<link rel="stylesheet" href="css/services_gui_master.css">');
document.write('<script type="text/javascript" src="js/json.js"></script>');
document.write('<script language="javascript" type="text/javascript" src="js/tinymce/jscripts/tiny_mce/tiny_mce.js"></script>');
document.write('<script type="text/javascript" src="js/scriptaculous/lib/prototype.js"></script>');
document.write('<script type="text/javascript" src="js/scriptaculous/src/scriptaculous.js"></script>');
document.write('<script type="text/javascript" src="js/behaviour.js"></script>');
document.write('<script type="text/javascript" src="js/gui_master_rules.js"></script>');
// document.write('<script type="text/javascript" src="js/json_tmp.js">< /script>');
// document.write('<script language="javascript" type="text/javascript">tinyMCE.init({theme: "simple", mode: "none" }); < /script>');
// document.write('<script language="javascript" type="text/javascript">tinyMCE.init({	theme : "advanced", theme_advanced_buttons1 : "",  theme_advanced_buttons2 : "",  theme_advanced_buttons3 : "", theme_advanced_toolbar_location : "top", theme_advanced_toolbar_align : "left", mode : "none" }); < /script>');

// editor_css : "css/services_gui_master.css"
//, language: "de"