Nav: GAP on GitHub link

gap-system · Mar 14, 2024 · b5b2cbc · b5b2cbc
1 parent 2618e93
commit b5b2cbc
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/_config.yml b/_config.yml
@@ -53,3 +53,8 @@ favicon_ico: "favicon.ico"
 
 scripts:
  - loadPackageTable.js
+
+# External navigation links
+nav_external_links:
+  - title: GAP on GitHub
+    url: https://github.com/gap-system/gap
diff --git a/_includes/nav_footer_custom.html b/_includes/nav_footer_custom.html
@@ -1,6 +1,4 @@
 <footer class="site-footer">
-Find us on <a href="https://github.com/gap-system" style="font-size:larger">GitHub</a><br>
-<br>
 <a href="https://github.com/gap-system/GapWWW/edit/master/{{ page.path }}">Edit this page</a><br>
 
 <br>