From 4d18e1234b24373a0529ea8adc1f9be1eb9397fe Mon Sep 17 00:00:00 2001 From: Antonio Vivace Date: Thu, 27 May 2021 11:39:46 +0200 Subject: [PATCH] Remove "!important" from code class CSS rule to allow style overriding --- src/theme/css/general.css | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theme/css/general.css b/src/theme/css/general.css index 2cf347f9..d0529b8a 100644 --- a/src/theme/css/general.css +++ b/src/theme/css/general.css @@ -21,7 +21,7 @@ body { } code { - font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace !important; + font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace; font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */ }