diff --git a/docs/source/_templates/page.html b/docs/source/_templates/page.html deleted file mode 100644 index de334e7..0000000 --- a/docs/source/_templates/page.html +++ /dev/null @@ -1,43 +0,0 @@ -{# - -See https://github.com/pradyunsg/furo/blob/main/src/furo/theme/furo/page.html for the original -block this is overwriting. - -The part that is customized is between the "begin of custom part" and "end of custom part" -comments below. It uses the same styles as the existing right sidebar code. - -#} -{% extends "furo/page.html" %} -{% block right_sidebar %} -
-{% endblock %} diff --git a/docs/source/conf.py b/docs/source/conf.py index e18817c..68831f1 100644 --- a/docs/source/conf.py +++ b/docs/source/conf.py @@ -10,38 +10,11 @@ copyright = '2023 YosysHQ GmbH' # select HTML theme -templates_path = ["_templates"] -html_theme = "furo" -html_logo = '../static/logo.png' -html_favicon = '../static/favico.png' +html_theme = "furo-ys" html_css_files = ['custom.css'] # These folders are copied to the documentation's HTML output html_static_path = ['../static'] -# code blocks style -pygments_style = 'colorful' -highlight_language = 'systemverilog' - -html_theme_options = { - "sidebar_hide_name": True, - - "light_css_variables": { - "color-brand-primary": "#d6368f", - "color-brand-content": "#4b72b8", - "color-api-name": "#8857a3", - "color-api-pre-name": "#4b72b8", - "color-link": "#8857a3", - }, - - "dark_css_variables": { - "color-brand-primary": "#e488bb", - "color-brand-content": "#98bdff", - "color-api-name": "#8857a3", - "color-api-pre-name": "#4b72b8", - "color-link": "#be95d5", - }, -} - extensions = ['sphinx.ext.autosectionlabel'] extensions += ['sphinxarg.ext'] diff --git a/docs/source/requirements.txt b/docs/source/requirements.txt index 0e4756e..9b32c0a 100644 --- a/docs/source/requirements.txt +++ b/docs/source/requirements.txt @@ -1,2 +1,2 @@ -furo +furo-ys @ git+https://github.com/YosysHQ/furo-ys sphinx-argparse diff --git a/docs/static/custom.css b/docs/static/custom.css index b23ce2d..40a8c17 100644 --- a/docs/static/custom.css +++ b/docs/static/custom.css @@ -1,18 +1 @@ -/* Don't hide the right sidebar as we're placing our fixed links there */ -aside.no-toc { - display: block !important; -} - -/* Colorful headings */ -h1 { - color: var(--color-brand-primary); -} - -h2, h3, h4, h5, h6 { - color: var(--color-brand-content); -} - -/* Use a different color for external links */ -a.external { - color: var(--color-brand-primary) !important; -} +/* empty */ diff --git a/docs/static/favico.png b/docs/static/favico.png deleted file mode 100644 index 3f5afba..0000000 Binary files a/docs/static/favico.png and /dev/null differ diff --git a/docs/static/logo.png b/docs/static/logo.png deleted file mode 100644 index 8e5a507..0000000 Binary files a/docs/static/logo.png and /dev/null differ