Built site for AMR: 1.8.2.9131@db28301

2025-07-27 17:07:54 +02:00 · 2023-02-15 18:56:18 +00:00
parent 259fe07455
commit dee759ef9c
102 changed files with 596 additions and 564 deletions
--- a/extra.css
+++ b/extra.css
@ -54,10 +54,13 @@ mark, .mark {
  background: rgba(17, 143, 118, 0.25) !important;
 }

+/* smaller tables */
+.table {
+  font-size: 0.9em !important;
+}

 /* SYNTAX */
 /* These are simple changes for the syntax highlighting */
-
 pre {
  font-size: 0.8em !important;
 }