diff options
Diffstat (limited to 'doc/conf.py')
| -rw-r--r-- | doc/conf.py | 15 |
1 files changed, 12 insertions, 3 deletions
diff --git a/doc/conf.py b/doc/conf.py index 2d431acfe..7a6ff7219 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -150,10 +150,10 @@ todo_link_only = True # reST settings rst_prolog = """\ +.. include:: <isonum.txt> .. |br| raw:: html <br /> - """ # -- Options for HTML output ---------------------------------------------- @@ -161,7 +161,15 @@ rst_prolog = """\ # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. #html_theme = 'alabaster' -html_theme = "sphinx_rtd_theme" +#html_theme = "sphinx_rtd_theme" +# Override default css to get a larger width for ReadTheDoc build +html_context = { + 'css_files': [ + 'https://media.readthedocs.org/css/sphinx_rtd_theme.css', + 'https://media.readthedocs.org/css/readthedocs-doc-embed.css', + '_static/theme_overrides.css', + ], +} # 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 @@ -350,5 +358,6 @@ intersphinx_mapping = { extlinks = { 'ghdlissue': ('https://github.com/tgingold/ghdl/issues/%s', 'issue #'), 'ghdlpull': ('https://github.com/tgingold/ghdl/pull/%s', 'pull request #'), - 'ghdlsrc': ('https://github.com/tgingold/ghdl/blob/master/src/%s', None) + 'ghdlsrc': ('https://github.com/tgingold/ghdl/blob/master/src/%s', None), + 'wikipedia': ('https://en.wikipedia.org/wiki/%s', None) } |