modify code font size

lnw143 · Jul 9, 2024 · 402d49c · 402d49c
1 parent 9e28c51
commit 402d49c
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/docs/stylesheets/extra.css b/docs/stylesheets/extra.css
@@ -1,3 +1,7 @@
 .md-typeset details .tabbed-set {
 	margin: 0 -12px !important;
+}
+
+.highlight {
+	font-size: 18px !important;
 }