Update journal and favicon

2025-11-22 10:59:33 +01:00
parent d56c60c514
commit 907232b001
53 changed files with 1338 additions and 1189 deletions
--- a/html/static/favicon_96.png
+++ b/html/static/favicon_96.png
--- a/html/static/style.css
+++ b/html/static/style.css
@@ -392,7 +392,7 @@ div.center figcaption {
 }

 .src, .example {
-    font-family: "monospace";
+    font-family: monospace;
    font-size: 1rem;
 }