Unify and improve mono-fontstack. (#1912)

Unify and enhance font stack for mono-fonts. The updated font stack should provide a better UX on diverse platforms by using standard fonts. Fallbacks are more diverse. The amount of similar but not equal fonts in relation to 3rd-party plugins should be reduced.
This commit is contained in:
Phil-Ah
2022-01-06 11:50:34 +01:00
committed by GitHub
parent aa1558dbac
commit a82569fdce
2 changed files with 3 additions and 1 deletions

View File

@@ -0,0 +1,2 @@
- type: changed
description: Change mono-font-stack to provide better ux on modern platforms by using later os-fonts. Reduces amount of similar but not equal fonts used.

View File

@@ -31,6 +31,6 @@ $warning: #ffdd57;
$blue-light: #98d8f3;
$danger: #ff3860;
$family-monospace: "Courier New", Monaco, Menlo, "Ubuntu Mono", "source-code-pro", monospace;
$family-monospace: Consolas, "Andale Mono WT", "Andale Mono", "Lucida Console", "Lucida Sans Typewriter", "DejaVu Sans Mono", "Bitstream Vera Sans Mono", "Liberation Mono", "Nimbus Mono L", Monaco, "Courier New", Courier, monospace;
$input-border-color: $blue-light;