[Dockerfile & Sphinx Documentation] Change html to sphinx_rtd_theme in conf.py...

[Dockerfile & Sphinx Documentation] Change html to sphinx_rtd_theme in conf.py and add installation in Dockerfile

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

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,