improve web-GUI

gnames · Nov 12, 2024 · 26894a8 · 26894a8
1 parent b012cb5
commit 26894a8
Show file tree

Hide file tree

Showing 4 changed files with 1,701 additions and 378 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,6 +4,7 @@
 
 ## [v1.11.1] - 2024-11-11 Mon
 
+- Add: minor improvements in web-interface.
 - Add: make web-interface remember nomenclatural code picked in the previous
   GET query.
 

diff --git a/io/web/static/images/github-mark.svg b/io/web/static/images/github-mark.svg