Add !important to code {font-family} property (rust-lang#1062)

If accepted, this will fix rust-lang#1061
Ruin0x11 · Oct 11, 2019 · 936cefc · 936cefc
1 parent e3a3d60
commit 936cefc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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 */
 }