Increase size for infoboxes

2024-04-25 16:37:07 +02:00 · 2024-04-25 16:37:07 +02:00 · 80765cf511
parent 6ee8811ab3
commit 80765cf511
1 changed files with 4 additions and 0 deletions
--- a/overrides/css/theme.css
+++ b/overrides/css/theme.css
@ -123,3 +123,7 @@ code, pre, kbd {
  vertical-align: top;
  font-size: small;
 }
+
+.md-typeset .admonition {
+  font-size: .72rem;
+}