diff options
Diffstat (limited to '')
-rw-r--r-- | common/conf.py | 13 |
1 files changed, 10 insertions, 3 deletions
diff --git a/common/conf.py b/common/conf.py index 565e06d..b84ff31 100644 --- a/common/conf.py +++ b/common/conf.py @@ -9,6 +9,7 @@ extensions = [ "sphinx.ext.intersphinx", "sphinx.ext.mathjax", "sphinxcontrib.bibtex", + "sphinxcontrib.jquery", "rtemsdomain", ] @@ -84,9 +85,9 @@ numfig = True # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -import sphinx_rtd_theme_rtems -html_theme = "sphinx_rtd_theme_rtems" -html_theme_path = [sphinx_rtd_theme_rtems.get_html_theme_path()] +import sphinx_rtd_theme +html_theme = "sphinx_rtd_theme" +html_theme_path = [sphinx_rtd_theme.get_html_theme_path()] # 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 @@ -122,6 +123,12 @@ html_theme_options = { # so a file named "default.css" will overwrite the builtin "default.css". html_static_path = ['build/_static'] +# These paths are either relative to html_static_path +# or fully qualified paths (eg. https://...) +html_css_files = [ + 'my-styles.css', +] + # If not '', a 'Last updated on:' timestamp is inserted at every page bottom, # using the given strftime format. #html_last_updated_fmt = '%b %d, %Y' |