From cfeb862989f7561bce3456e70eb3d89d961032eb Mon Sep 17 00:00:00 2001
From: Jukka Aho <ahojukka5@gmail.com>
Date: Sat, 4 Jul 2015 20:49:56 +0300
Subject: [PATCH] rtd theme

---
 docs/conf.py | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/conf.py b/docs/conf.py
index 3363339..1aa5b1b 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -15,7 +15,7 @@
 import sys
 import os
 import juliadoc
-#import shlex
+import shlex
 import sphinx_rtd_theme
 
 
@@ -119,7 +119,7 @@ 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 = 'julia'
+html_theme = 'sphinx_rtd_theme'
 
 
 # If true, "Created using Sphinx" is shown in the HTML footer. Default is True.