first build

2025-05-04 15:12:12 +02:00
parent df10e529c0
commit f846826e45
4 changed files with 16 additions and 4 deletions
--- a/docs/extra.css~
+++ b/docs/extra.css~
@@ -13,4 +13,12 @@
    line-height: 1.2;
    margin: 0;
    white-space: pre;
-}
+}
+
+.page-meta {
+    font-size: 0.8em;
+    color: #888;
+    margin-top: 2em;
+    border-top: 1px solid #ccc;
+    padding-top: 0.5em;
+}