Merge branch 'main' into reveal_dist

2025-12-25 13:42:28 +01:00
parent 5d560dce59 7d14e2099a
commit e65bdd6dc5
7 changed files with 15771 additions and 5 deletions
@@ -170,6 +170,10 @@ td {
  text-align: justify;
 }

+ul {
+    list-style-type: square;
+}
+
 ul li::marker {
  color: #2aa6da;
 }