Update style.css

genforce · Dec 19, 2023 · f382d13 · f382d13
1 parent 7006deb
commit f382d13
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/docs/assets/style.css b/docs/assets/style.css
@@ -69,6 +69,13 @@ pre {
   font-size: 16pt;
 }
 
+/* notes */
+.section .note {
+  margin: 5pt 0;
+  text-align: center;
+  font-size: 12pt;
+}
+
 /* Hyperlink (such as Paper and Code) */
 .section .link {
   margin: 5pt 0;