diff --git a/src/theme/css/general.css b/src/theme/css/general.css
index b45f90fb..cb295837 100644
--- a/src/theme/css/general.css
+++ b/src/theme/css/general.css
@@ -16,7 +16,7 @@ body {
 }
 
 code {
-    font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
+    font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace !important;
     font-size: 0.875em; /* please adjust the ace font size accordingly in editor.js */
 }