Fix #81126

microsoft · Sep 18, 2019 · 75e94dd · 75e94dd
1 parent 637cf42
commit 75e94dd
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/vs/workbench/browser/media/style.css b/src/vs/workbench/browser/media/style.css
@@ -23,7 +23,7 @@
 .linux:lang(ja) { font-family: "Ubuntu", "Droid Sans", "Source Han Sans J", "Source Han Sans JP", "Source Han Sans", sans-serif; }
 .linux:lang(ko) { font-family: "Ubuntu", "Droid Sans", "Source Han Sans K", "Source Han Sans JR", "Source Han Sans", "UnDotum", "FBaekmuk Gulim", sans-serif; }
 
-.mac { --monaco-monospace-font: Monaco, Menlo, Inconsolata, "Courier New", monospace; }
+.mac { --monaco-monospace-font: "SF Mono", Monaco, Menlo, Inconsolata, "Courier New", monospace; }
 .windows { --monaco-monospace-font: Consolas, Inconsolata, "Courier New", monospace; }
 .linux { --monaco-monospace-font: "Droid Sans Mono", Inconsolata, "Courier New", monospace, "Droid Sans Fallback"; }