From 54d14a4278f2f2d2dd83ed5ea49e8cddb55b5173 Mon Sep 17 00:00:00 2001
From: auphelia <jakobapk@web.de>
Date: Thu, 20 Feb 2020 15:10:43 +0000
Subject: [PATCH] [Dockerfile & Sphinx Documentation] Change html to
 sphinx_rtd_theme in conf.py and add installation in Dockerfile

---
 Dockerfile        | 1 +
 docs/finn/conf.py | 2 +-
 2 files changed, 2 insertions(+), 1 deletion(-)

diff --git a/Dockerfile b/Dockerfile
index 63b413857..cbd6b74c1 100644
--- a/Dockerfile
+++ b/Dockerfile
@@ -19,6 +19,7 @@ RUN apt install verilator
 RUN apt-get -y install sshpass
 RUN echo "StrictHostKeyChecking no" >> /etc/ssh/ssh_config
 RUN pip install sphinx
+RUN pip install sphinx_rtd_theme
 
 
 # Note that we expect the cloned finn directory on the host to be
diff --git a/docs/finn/conf.py b/docs/finn/conf.py
index 860f66d73..a48c1d8fa 100644
--- a/docs/finn/conf.py
+++ b/docs/finn/conf.py
@@ -45,7 +45,7 @@ exclude_patterns = ['_build', 'Thumbs.db', '.DS_Store']
 # The theme to use for HTML and HTML Help pages.  See the documentation for
 # a list of builtin themes.
 #
-html_theme = 'alabaster'
+html_theme = 'sphinx_rtd_theme'
 
 # 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,
-- 
GitLab