changed Sphinx HTML theme to furo

Signed-off-by: Konstantin Läufer <laufer@cs.luc.edu>

Author: klaeufer

requirements.txt

@@ -1,5 +1,6 @@
-sphinx 
-sphinxawesome-theme == 5.0.0-rc.1
+sphinx
+sphinx-rtd-theme
 sphinxcontrib-bibtex
+furo
 sphinxcontrib-proof
 sphinx-exercise

source/conf.py

@@ -16,6 +16,8 @@
 import subprocess
 from datetime import date
 
+import sphinx_rtd_theme
+
 # If extensions (or modules to document with autodoc) are in another directory,
 # add these directories to sys.path here. If the directory is relative to the
 # documentation root, use os.path.abspath to make it absolute, like shown here.
@@ -29,10 +31,11 @@
 # Add any Sphinx extension module names here, as strings. They can be extensions
 # coming with Sphinx (named 'sphinx.ext.*') or your custom ones.
 extensions = [
+    'sphinx_rtd_theme',
     'sphinx.ext.todo',
     'sphinx.ext.mathjax',
+    'sphinxcontrib.bibtex',
     'sphinxcontrib.proof'
-#    'sphinxcontrib.bibtex',
 #    'sphinx.ext.ifconfig',
 #    'sphinx.ext.viewcode',
 ]
@@ -112,7 +115,7 @@ def get_git_tag():
 # The theme to use for HTML and HTML Help pages.  See the documentation for# The version info for the project you're documenting, acts as replacement for
 
 # a list of builtin themes.
-html_theme = 'sphinxawesome_theme'
+html_theme = 'furo'
 
 # 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