summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.gitignore3
-rw-r--r--user_guide_src/source/conf.py16
-rw-r--r--user_guide_src/source/images/ci-icon.icobin0 -> 5430 bytes
3 files changed, 15 insertions, 4 deletions
diff --git a/.gitignore b/.gitignore
index a035c2b27..9edcfca6d 100644
--- a/.gitignore
+++ b/.gitignore
@@ -12,4 +12,5 @@ user_guide_src/build/*
user_guide_src/cilexer/build/*
user_guide_src/cilexer/dist/*
user_guide_src/cilexer/pycilexer.egg-info/*
-/vendor/ \ No newline at end of file
+/vendor/
+/nbproject/ \ No newline at end of file
diff --git a/user_guide_src/source/conf.py b/user_guide_src/source/conf.py
index 118b2fb87..5089cf5a2 100644
--- a/user_guide_src/source/conf.py
+++ b/user_guide_src/source/conf.py
@@ -92,12 +92,22 @@ highlight_language = 'ci'
# The theme to use for HTML and HTML Help pages. See the documentation for
# a list of builtin themes.
-html_theme = 'eldocs'
+#
+# Reverting to default sphinx theme, to remove dependency on EllisLab corporate style
+#html_theme = 'eldocs'
+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
# documentation.
-#html_theme_options = {}
+#
+# Specifying a few options; just a starting point & we can play with it.
+html_theme_options = {
+ "collapsiblesidebar" : "true",
+ "sidebarbgcolor" : "#4b7eb0",
+ "codebgcolor": "#fffded",
+ "headbgcolor": "#ffeebd"
+}
# Add any paths that contain custom themes here, relative to this directory.
html_theme_path = ["./_themes"]
@@ -116,7 +126,7 @@ html_theme_path = ["./_themes"]
# The name of an image file (within the static path) to use as favicon of the
# docs. This file should be a Windows icon file (.ico) being 16x16 or 32x32
# pixels large.
-#html_favicon = None
+html_favicon = 'images/ci-icon.ico'
# Add any paths that contain custom static files (such as style sheets) here,
# relative to this directory. They are copied after the builtin static files,
diff --git a/user_guide_src/source/images/ci-icon.ico b/user_guide_src/source/images/ci-icon.ico
new file mode 100644
index 000000000..7ecfce214
--- /dev/null
+++ b/user_guide_src/source/images/ci-icon.ico
Binary files differ