2 $(function(){$([% JSON.json(sections) %]).each(function(i,b){
3 var a=$('<a class="ml">').append($('<span class="mii ms">').append($('<div>').addClass(b[3])),$('<span class="mic">').append(b[0]));
4 if(b[5])a.attr('href', b[5]);
5 if(b[6])a.attr('target', b[6]);
6 $('#html-menu').append($('<div class="mi">').addClass(b[4]).addClass(b[1]).attr('id','mi'+b[2]).append(a))
8 $('#html-menu div.i, #html-menu div.sm').not('[id^='+$.cookie('html-menu-selection')+'_]').hide();
9 $('#html-menu div.m#'+$.cookie('html-menu-selection')).addClass('menu-open');
10 $('#html-menu div.m').each(function(){
13 $.cookie('html-menu-selection',$(this).attr('id'));
14 $('#html-menu div.mi').not('div.m').not('[id^='+$(this).attr('id')+'_]').hide();
15 $('#html-menu div.mi[id^='+$(this).attr('id')+'_]').toggle();
16 $('#html-menu div.m').not('[id^='+$(this).attr('id')+']').removeClass('menu-open');
17 $(this).toggleClass('menu-open');