Add external links and icon links to the HTML theme configuration

Author: edwardchalstrey1

doc/conf.py

@@ -104,7 +104,31 @@
 # Theme options are theme-specific and customize the look and feel of a theme
 # further.  For a list of options available for each theme, see the
 # documentation.
-# html_theme_options = {}
+html_theme_options = {
+    "external_links": [
+        {
+            "name": "GitHub",
+            "url": "https://github.com/gambitproject/gambit"
+        },
+        {
+            "name": "Releases",
+            "url": "https://github.com/gambitproject/gambit/releases"
+        },
+        {
+            "name": "Citing",
+            "url": "https://www.gambit-project.org/cite/"
+        }
+    ],
+    "navbar_end": ["theme-switcher", "navbar-icon-links"],
+    "icon_links": [
+        {
+            "name": "GitHub",
+            "url": "https://github.com/gambitproject/gambit",
+            "icon": "fab fa-github-square",
+            "type": "fontawesome",
+        }
+    ],
+}
 
 # Add any paths that contain custom themes here, relative to this directory.
 # html_theme_path = []