diff --git a/User Manual/output/html/include.js b/User Manual/output/html/include.js index 35af72d0a74ebbe7c1d7afa81d12dfd8b261820b..174d6419d812a6b463ff20a063b49ee9a623165f 100644 --- a/User Manual/output/html/include.js +++ b/User Manual/output/html/include.js @@ -1,24 +1,24 @@ -$(function(){ - var hash = window.location.hash; - if (hash){ - $(hash.replace(".", "\\.")).show(); - $(hash.replace(".", "\\.")).parents().show(); - } else - $("#user-manual").show(); +$(function () { + var hash = window.location.hash; + if (hash) { + $(hash.replace(".", "\\.")).show(); + $(hash.replace(".", "\\.")).parents().show(); + } else $("#user-manual").show(); - $('a').click(function(){ - $("body > div:not(#TOC)").hide(); - $($(this).attr("href").replace(".", "\\.")).show(); - $($(this).attr("href").replace(".", "\\.")).parents().show(); + + $('a').click(function() { + $("body > div:not(#TOC)").hide(); + $($(this).attr("href").replace(".", "\\.")).show(); + $($(this).attr("href").replace(".", "\\.")).parents().show(); }); - $("#TOC").resizable({ - handles:"e", - resize: function(event, ui) { - $("body > div:not(#TOC)").css("padding-left", ui.size.width); - } + $("#TOC").resizable({ + handles: "e", + resize: function(event, ui) { + $("body > div:not(#TOC)").css("padding-left", ui.size.width); + } }); - $("#TOC").scroll(function(){ - $(".ui-resizable-handle").css('top', $("#TOC").scrollTop()); + $("#TOC").scroll(function() { + $(".ui-resizable-handle").css('top', $("#TOC").scrollTop()); }); }); \ No newline at end of file