From 7adcac4cf9e86fed4aa9f91631544d7e5bce48a7 Mon Sep 17 00:00:00 2001 From: Thibaut Horel Date: Tue, 16 Apr 2013 23:39:59 +0200 Subject: Use flask-sphinx-theme for the documentation --- .gitmodules | 3 +++ doc/_themes/flask-sphinx-themes | 1 + doc/conf.py | 8 +++++--- 3 files changed, 9 insertions(+), 3 deletions(-) create mode 100644 .gitmodules create mode 160000 doc/_themes/flask-sphinx-themes diff --git a/.gitmodules b/.gitmodules new file mode 100644 index 0000000..aee9d08 --- /dev/null +++ b/.gitmodules @@ -0,0 +1,3 @@ +[submodule "doc/_themes/flask-sphinx-themes"] + path = doc/_themes/flask-sphinx-themes + url = https://github.com/mitsuhiko/flask-sphinx-themes diff --git a/doc/_themes/flask-sphinx-themes b/doc/_themes/flask-sphinx-themes new file mode 160000 index 0000000..0269f3d --- /dev/null +++ b/doc/_themes/flask-sphinx-themes @@ -0,0 +1 @@ +Subproject commit 0269f3d188eaff07c44a800f35f7351f9e0aefb0 diff --git a/doc/conf.py b/doc/conf.py index efe96d0..fc1c903 100644 --- a/doc/conf.py +++ b/doc/conf.py @@ -90,15 +90,17 @@ pygments_style = 'sphinx' # The theme to use for HTML and HTML Help pages. See the documentation for # a list of builtin themes. -html_theme = 'sphinxdoc' +html_theme = 'flask_small' # 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 # documentation. -#html_theme_options = {} +html_theme_options = {"index_logo": '', + "index_logo_height": '0px', + "github_fork": '' } # Add any paths that contain custom themes here, relative to this directory. -#html_theme_path = [] +html_theme_path = ['_themes/flask-sphinx-themes'] # The name for this set of Sphinx documents. If None, it defaults to # " v documentation". -- cgit v1.2.3-70-g09d2