From 3d9e631d189e98d12b5bab31feaea6b1731c54ac Mon Sep 17 00:00:00 2001
From: Bruno Windels <bruno@windels.cloud>
Date: Wed, 22 May 2019 09:35:09 +0000
Subject: [PATCH] no space in !important

Co-Authored-By: J. Ryan Stinnett <jryans@gmail.com>
---
 res/css/_common.scss | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/res/css/_common.scss b/res/css/_common.scss
index 1e1a1f82e4..973103899d 100644
--- a/res/css/_common.scss
+++ b/res/css/_common.scss
@@ -34,7 +34,7 @@ body {
 
 pre, code {
     font-family: $monospace-font-family;
-    font-size: 100% ! important;
+    font-size: 100% !important;
 }
 
 .error, .warning {