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 */ }