aboutsummaryrefslogtreecommitdiffstats
path: root/doc/conf.py
diff options
context:
space:
mode:
author1138-4EB <1138-4EB@users.noreply.github.com>2017-02-21 00:50:09 +0100
committertgingold <tgingold@users.noreply.github.com>2017-12-10 12:02:05 +0100
commit669fd99724492f9c8983f414b43e7dfb7bec0dd0 (patch)
treedbc354c2be1f969763cfa369413109381b5508e3 /doc/conf.py
parentbfb47bd712511b42c66094c649fee89cd621fe32 (diff)
downloadghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.tar.gz
ghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.tar.bz2
ghdl-669fd99724492f9c8983f414b43e7dfb7bec0dd0.zip
Add theme_overrrides.css
Move WhatIs* to About. Move About, Contributing and Copying to doc. Rename Copying to License. Append CC-BY-SA-4.0 legalcode to COPYING.md Chapter Introduction ready for review. Starting to rewrite Building
Diffstat (limited to 'doc/conf.py')
-rw-r--r--doc/conf.py15
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)
}