From 6edd97a54fb49418844d6cfae7f566af1cc95890 Mon Sep 17 00:00:00 2001
From: Ander <9and3r@gmail.com>
Date: Wed, 20 May 2015 00:32:49 +0200
Subject: [PATCH] Fix theme readthedocs

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

diff --git a/docs/conf.py b/docs/conf.py
index e770e67..6572dc1 100644
--- a/docs/conf.py
+++ b/docs/conf.py
@@ -285,8 +285,10 @@ texinfo_documents = [
 # If true, do not generate a @detailmenu in the "Top" node's menu.
 #texinfo_no_detailmenu = False
 
-import sphinx_rtd_theme
+# on_rtd is whether we are on readthedocs.org, this line of code grabbed from docs.readthedocs.org
+on_rtd = os.environ.get('READTHEDOCS', None) == 'True'
 
-html_theme = "sphinx_rtd_theme"
-
-html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]
+if not on_rtd:  # only import and set the theme if we're building docs locally
+    import sphinx_rtd_theme
+    html_theme = 'sphinx_rtd_theme'
+    html_theme_path = [sphinx_rtd_theme.get_html_theme_path()]