change theme

.github/workflows/docs.yml

@@ -15,11 +15,8 @@ jobs:
       run: |
         pip3 install --upgrade pip
         sudo apt install python3-setuptools
-        cd ..
+        pip3 install furo==2020.10.5b9
-        git clone https://github.com/sphinx-doc/sphinx
+        pip3 install sphinx-copybutton
-        cd sphinx
-        pip3 install .
-        pip3 install sphinx_rtd_theme
     
     - name: Install manim env
       run: |

docs/source/conf.py

@@ -17,7 +17,7 @@ extensions = [
     'sphinx.ext.autodoc', 
     'sphinx.ext.coverage',
     'sphinx.ext.napoleon',
-    'sphinx_rtd_theme'
+    'sphinx_copybutton',
 ]
 
 autoclass_content = 'both'
@@ -28,11 +28,9 @@ source_suffix = '.rst'
 master_doc = 'index'
 pygments_style = 'default'
 
-# html_static_path = ['assets']
+html_theme = 'furo'  # pip install furo==2020.10.5b9
-html_theme = 'sphinx_rtd_theme'
 # html_favicon = '../../logo/graph.png'
 html_logo = '../../logo/transparent_graph.png'
 html_theme_options = {
-    'logo_only': True,
+    "sidebar_hide_name": True,
-    'style_nav_header_background': '#343131',
 }