Updated releasetable

emmo-repo · Apr 11, 2024 · cd5621e · cd5621e
1 parent fc1e1e3
commit cd5621e
Show file tree

Hide file tree

Showing 9 changed files with 112,699 additions and 112,700 deletions.
diff --git a/_sources/emmo.rst.txt b/_sources/emmo.rst.txt
diff --git a/_static/conf.py b/_static/conf.py
@@ -63,8 +63,7 @@
 # relative to this directory. They are copied after the builtin static files,
 # so a file named "default.css" will overwrite the builtin "default.css".
 html_static_path = ['../doc/_static']
-#html_css_files = ['custom.css']
-html_css_files = ['https://raw.githubusercontent.com/emmo-repo/emmo-repo.github.io/master/_static/custom.css']
+html_css_files = ['custom.css']
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.