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 | 6 +++++-
1 files changed, 5 insertions(+), 1 deletions(-)
diff --git a/assets/styles/syntax.scss b/assets/styles/syntax.scss
index 14153c9..6267f5c 100644
--- a/assets/styles/syntax.scss
+++ b/assets/styles/syntax.scss
@@ -45,7 +45,7 @@
}
.chroma code {
- font-family: 'Fira Code' !important;
+ font-family: var(--font-mono) !important;
font-size: 0.85em !important;
line-height: 2em !important;
background: none !important;
@@ -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