From 7a8811a184c8bd6206ee041d6486b7e456d5a84a Mon Sep 17 00:00:00 2001
From: Quadrubo <71718414+Quadrubo@users.noreply.github.com>
Date: Wed, 18 Jan 2023 16:25:01 +0000
Subject: [PATCH] added the liveReloadPort as an option for docker (#272)
---
assets/styles/syntax.scss | 4 ++++
1 files changed, 4 insertions(+), 0 deletions(-)
diff --git a/assets/styles/syntax.scss b/assets/styles/syntax.scss
index 62a9fe9..6267f5c 100644
--- a/assets/styles/syntax.scss
+++ b/assets/styles/syntax.scss
@@ -60,3 +60,7 @@
pre.chroma {
-moz-tab-size:4;-o-tab-size:4;tab-size:4;
}
+
+.katex {
+ font-size: 1.1em !important;
+}
--
Gitblit v1.10.0