From fc422b11070b01ad7abcfda064b3f36063fb3518 Mon Sep 17 00:00:00 2001
From: patrick96 <p.ziegler96@gmail.com>
Date: Mon, 3 Apr 2023 02:41:09 +0200
Subject: [PATCH] doc: Style external links in RTD theme

---
 doc/conf.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/doc/conf.py b/doc/conf.py
index b7483a3c..3a2bdf67 100644
--- a/doc/conf.py
+++ b/doc/conf.py
@@ -136,6 +136,7 @@ html_theme_options = {}
 if on_rtd or os.environ.get('USE_RTD_THEME', '0') == '1':
     html_theme = 'sphinx_rtd_theme'
     html_theme_options['collapse_navigation'] = False
+    html_theme_options['style_external_links'] = True
 else:
     html_theme = 'alabaster'
     html_theme_options['description'] = version