From e03bf2f810ce71aaf7801915d0820f31981a4303 Mon Sep 17 00:00:00 2001 From: Chung Ming Loi <97897047+chun9l@users.noreply.github.com> Date: Tue, 28 May 2024 16:22:34 +0100 Subject: [PATCH] Added github icon link (#84) --- docs/source/_static/custom.css | 2 +- docs/source/conf.py | 9 ++++++++- 2 files changed, 9 insertions(+), 2 deletions(-) diff --git a/docs/source/_static/custom.css b/docs/source/_static/custom.css index da608aa..f6a0f2e 100644 --- a/docs/source/_static/custom.css +++ b/docs/source/_static/custom.css @@ -1,6 +1,6 @@ html[data-theme="light"] { /***************************************************************************** - * Change colour to palatinate + * Change font colour to palatinate */ --pst-color-primary: rgb(104 36 109); --pst-color-secondary: rgb(104 36 109); diff --git a/docs/source/conf.py b/docs/source/conf.py index def9e86..99b99a5 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -49,7 +49,14 @@ html_sidebars = { '**': ['globaltoc.html', 'relations.html', 'sourcelink.html', 'searchbox.html'] } html_theme_options = { "check_switcher" : False, - "pygment_light_style": "github-light-high-contrast" + "pygment_light_style": "github-light-high-contrast", + "icon_links": [ + { + "name": "GitHub", + "url": "https://github.com/UM-Bridge", + "icon": "fa-brands fa-github", + }, + ], } html_context = { "default_mode": "light"