2 function Switch_Menu() {
3 vSwitch_Menu=!vSwitch_Menu;
4 SetMenuFolded(vSwitch_Menu);
5 $.cookie('html-menu-folded', vSwitch_Menu);
7 function SetMenuFolded(on) {
9 $('#html-menu').removeClass('folded');
10 $('#content').removeClass('folded');
12 $('#html-menu').addClass('folded');
13 $('#content').addClass('folded');
17 vSwitch_Menu = $.cookie('html-menu-folded');
18 SetMenuFolded(vSwitch_Menu);