The Explorer font weight is too thin

[Carson-yy]

1. The Explorer font weight is too thin
2. You can compare Fleet
3. Can the explorer font be customized

[roblourens]

I wonder if you're commenting on the workbench font family/size or just the colors?

[Carson-yy]

I wonder if you're commenting on the workbench font family/size or just the colors?

Customize fontFamily
Customize fontSize

[lramos15]

\duplicate #519