4 if ($('#toc li').length == 0) {
5 $('#menu li a[href="#toc"]').remove();
8 $('#toc a, #themes a').click(function(event) {
9 event.preventDefault();
10 $('#menu li a.selected').click();
11 $.scrollTo('a[name="' + $(this).attr('href').slice(1) + '"]', {offset: {top: -50, left: 0}});
14 $('#menu li a').toggle(function() {
15 $('#menu li a.selected').click();
16 $(this).addClass('selected');
17 $($(this).attr('href')).slideDown('fast');
19 $(this).removeClass('selected');
20 $($(this).attr('href')).slideUp('fast');