Merge pull request afonsof#108 from docwhat/pr/monospace-fallback

Fallback to Menlo before monospace
mike-wendt · Apr 17, 2017 · 9032e5f · 9032e5f
2 parents 5dc4d33 + 6a187c3
commit 9032e5f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/less/style.less b/less/style.less
@@ -193,7 +193,7 @@ table.progress-bar {
 }
 
 #main-panel > pre {
-  font-family: 'Roboto Mono', monospace !important;
+  font-family: 'Roboto Mono', Menlo, monospace !important;
 }
 
 .yui-button {
@@ -233,7 +233,7 @@ table.progress-bar {
 
 .console-output, .console-output * {
   position: relative;
-  font-family: 'Roboto Mono', monospace !important;
+  font-family: 'Roboto Mono', Menlo, monospace !important;
   font-size: 14px;
   background: @console-black;
   color: @console-white;
@@ -245,7 +245,7 @@ table.progress-bar {
 }
 
 .ace_editor {
-  font: 12px/normal 'Roboto Mono', monospace;
+  font: 12px/normal 'Roboto Mono', Menlo, monospace;
 }
 
 [style^="color:gray"] {