diff options
| author | Tristan Gingold | 2015-11-24 05:53:09 +0100 |
|---|---|---|
| committer | Tristan Gingold | 2015-11-24 05:53:09 +0100 |
| commit | 5ad9818cbc2725f4fdb424271c17a2b99454d4c3 (patch) | |
| tree | 392607e7f91c6109544438286dee054ee5ce65d2 /doc | |
| parent | 10c4523636a7b2afbd6401c623edd9d7619f028c (diff) | |
| download | ghdl-5ad9818cbc2725f4fdb424271c17a2b99454d4c3.tar.gz ghdl-5ad9818cbc2725f4fdb424271c17a2b99454d4c3.tar.bz2 ghdl-5ad9818cbc2725f4fdb424271c17a2b99454d4c3.zip | |
doc: use default theme for html.
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/conf.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/doc/conf.py b/doc/conf.py index 0ae2ca7..e9c53f9 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -108,7 +108,8 @@ todo_include_todos = False # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'alabaster' +#html_theme = 'alabaster' +html_theme = 'default' # 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 |