Fix footnote size

2026-02-03 16:32:31 +01:00 · 2026-02-03 16:32:31 +01:00 · 36b3d034ff
commit 36b3d034ff
parent 7b981a8358
1 changed files with 1 additions and 0 deletions
--- a/main.typ
+++ b/main.typ
@ -42,6 +42,7 @@
    }
  )
 )
+#set super(size: 6pt)

 // ----- Cover & Legal disclaimer(s) -----
 #pages.cover.render(targetFull, place, author, creationDate, reportType,