user manual: scroll to top when clicking on link in toc

Documentation/User Manual/help.html

@@ -74,6 +74,7 @@ code > span.in { color: #60a0b0; font-weight: bold; font-style: italic; } /* Inf
           $("#CONTENT").html(element.html());
           $("#CONTENT > a").click(OnClick);
           $("#CONTENT").show();
+          window.scrollTo(0, 0);
       };
       
   

Documentation/User Manual/includes/include.js

@@ -8,6 +8,7 @@ $(function(){
         $("#CONTENT").html(element.html());
         $("#CONTENT > a").click(OnClick);
         $("#CONTENT").show();
+        window.scrollTo(0, 0);
     };