Merge pull request #4889 from shiltemann/anchorlinks

Make sections easier to link to by adding deep anchor tags
galaxyproject · May 13, 2024 · 2534da7 · 2534da7
2 parents 8e3455a + 9685105
commit 2534da7
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 0 deletions.
diff --git a/_config.yml b/_config.yml
@@ -58,6 +58,7 @@ javascript_bundles:
       - assets/js/bootstrap.min.js     # Everywhere
       - assets/js/bootstrap-toc.min.js # Only tutorials, faqs
       - assets/js/clipboard.min.js     # Used on anything with a pre
+      - assets/js/anchor.min.js        # Used on every page.
       - assets/js/main.js
       # - assets/js/list.min.js # Potentially unused?
 

diff --git a/_layouts/base.html b/_layouts/base.html
@@ -76,5 +76,6 @@
 	<script src="{{ site.baseurl }}/assets/js/[email protected]" async></script>
 	<link rel="preload" href="{{ site.baseurl }}/assets/js/[email protected]" as="script" crossorigin>
 	{% endif %}
+
     </body>
 </html>
diff --git a/assets/js/anchor.min.js b/assets/js/anchor.min.js