Move inline script to dottydoc.js

TheElectronWill · TheElectronWill · commit 2900d92c7d9b · 2019-09-19T19:06:41.000+02:00
diff --git a/doc-tool/resources/_layouts/main.html b/doc-tool/resources/_layouts/main.html
@@ -36,29 +36,19 @@
             href="{{ site.baseurl }}/{{ css }}"
         >
         {% endfor %}
+
+        <script src="{{ site.baseurl }}/js/jquery.min.js"></script>
     </head>
     <body>
 
         {{ content }}
 
-        <script src="{{ site.baseurl }}/js/jquery.min.js"></script>
         <script src="{{ site.baseurl }}/js/highlight.pack.js"></script>
         <script src="{{ site.baseurl }}/js/bootstrap.min.js"></script>
         {% for js in page.extraJS %}
         <script src="{{ site.baseurl }}/{{ js }}"></script>
         {% endfor %}
-        <script>
-            $(document).ready(function() {
-                $('pre code').each(function(i, block) {
-                    hljs.highlightBlock(block);
-                });
-
-                if (window.location.hash.length > 0) {
-                    window.scrollTo(0, $(window.location.hash).offset().top - 90);
-                }
-            });
-        </script>
-
+        <script src="{{ site.baseurl }}/js/dottydoc.js"></script>
         <script>
           ((window.gitter = {}).chat = {}).options = {
             room: 'lampepfl/dotty'
diff --git a/doc-tool/resources/js/dottydoc.js b/doc-tool/resources/js/dottydoc.js
@@ -0,0 +1,10 @@
+$(document).ready(function() {
+  // Code hilighting (requires hilight.js to be loaded)
+  $('pre code').each(function(i, block) {
+    hljs.highlightBlock(block);
+  });
+  // Autoscroll to anchor
+  if (window.location.hash.length > 0) {
+    window.scrollTo(0, $(window.location.hash).offset().top - 90);
+  }
+})
