1 function ShowHide_Menu() {
2 if (menu.className == 'menu_off') {
3 menu.className = 'menu_on';
6 menu.className = 'menu_off';
11 function ShowHide_Devmenu() {
12 if (devmenu.className == 'menu_off') {
13 devmenu.className = 'menu_on';
16 devmenu.className = 'menu_off';