first build

2025-05-04 14:42:02 +02:00
parent ae989a868c
commit 123972b5eb
6 changed files with 40 additions and 16 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;
+}