doc: Style external links in RTD theme

This commit is contained in:
patrick96 2023-04-03 02:41:09 +02:00 committed by Patrick Ziegler
parent 81684a6c9d
commit fc422b1107

View File

@ -136,6 +136,7 @@ html_theme_options = {}
if on_rtd or os.environ.get('USE_RTD_THEME', '0') == '1': if on_rtd or os.environ.get('USE_RTD_THEME', '0') == '1':
html_theme = 'sphinx_rtd_theme' html_theme = 'sphinx_rtd_theme'
html_theme_options['collapse_navigation'] = False html_theme_options['collapse_navigation'] = False
html_theme_options['style_external_links'] = True
else: else:
html_theme = 'alabaster' html_theme = 'alabaster'
html_theme_options['description'] = version html_theme_options['description'] = version