Changed address and minor fixes.

This commit is contained in:
2025-08-15 23:02:11 +02:00
parent 38bea82bc4
commit c10bca14ca
16 changed files with 165 additions and 31 deletions

View File

@@ -1,5 +1,4 @@
body { font-family: Georgia,"Times New Roman",Times; margin: 5%; text-align: justify; font-size: medium; }
code { font-family: monospace; }
section h1 { text-align: left; font-size: 4.5em; font-weight: bold; margin-bottom: 0; padding-bottom: 0; font-style: italic; }
h1 + p { margin-top: 0; padding-top: 0; }
h2 { text-align: left; font-size: 1.5em; font-weight: bold; }