Updated releasetable

emmo-repo · Apr 11, 2024 · 64216a7 · 64216a7
1 parent 6748757
commit 64216a7
Show file tree

Hide file tree

Showing 9 changed files with 112,346 additions and 112,406 deletions.
diff --git a/_sources/emmo.rst.txt b/_sources/emmo.rst.txt
diff --git a/_static/conf.py b/_static/conf.py
@@ -63,7 +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 = ['../doc/_static/custom.css']
+html_css_files = ['_static/custom.css']
 
 # The name of an image file (relative to this directory) to place at the top
 # of the sidebar.

diff --git a/emmo.html b/emmo.html