git.iko.soy/Idris-dev
on master help sign in
Updated theme to work woth read the docs.
237c783Jan de Muijnck-Hughes
docs/conf.py+1−1
compare with master
unifiedsplit
@@ -109,7 +109,7 @@ todo_include_todos = True
109
109
110# The theme to use for HTML and HTML Help pages. See the documentation for
110# The theme to use for HTML and HTML Help pages. See the documentation for
111# a list of builtin themes.
111# a list of builtin themes.
112−html_theme = "alabaster"
112+html_theme = "default"
113
113
114# Theme options are theme-specific and customize the look and feel of a theme
114# Theme options are theme-specific and customize the look and feel of a theme
115# further. For a list of options available for each theme, see the
115# further. For a list of options available for each theme, see the