The Explorer font is too small to set size

[jsonvot]

• VSCode Version: Code 1.13.1 (379d2ef, 2017-06-14T18:21:47.485Z)
• OS Version: Windows_NT ia32 6.1.7601
• Extensions:

Extension	Author	Version
html-snippets	abusaidm	0.1.0
vscode-caniuse	akamud	0.5.3
project-manager	alefragnani	0.18.1
vscode-refresh-html	bajdzis	0.0.2
vscode-html-css	ecmel	0.1.7
vscode-great-icons	emmanuelbeziat	2.1.8
php-debug	felixfbecker	1.10.1
auto-rename-tag	formulahendry	0.0.14
beautify	HookyQR	1.1.1
crane	HvyIndustries	0.3.6
output-colorizer	IBM	0.1.1
easy-icons	jamesmaj	0.3.1
autofilename	JerryHong	0.1.3
format-indent	Kasik96	1.3.0
string-manipulation	marclipovsky	0.1.0
PowerShell	ms-vscode	1.4.1
vuehelper	oysun	0.1.0
view-in-browser	qinjia	0.0.5
vscode-icons	robertohuertasm	7.10.1
indenticator	SirTori	0.4.2
guides	spywhere	0.8.3
JavaScriptSnippets	xabikos	1.4.1
Material-theme	zhuangtongfa	2.8.9
html-css-class-completion	Zignd	1.7.0

---

Steps to Reproduce:

1.The Explorer font is too small to set size.
2.Want to set the Explorer font size freely.

[oyeanuj]

I wasn't sure if this also includes nav dropdowns, so I thought I'd add this screenshot here. Let me know if this comment should be a separate bug.

An ability to increase the font size, and line height would help in the readability and scannability of the dropdown.

Thank you!

[smlombardi]

I've seen posts mentioning using "zoom" for this but, personally, I'd rather just set a font size.

[isidorn]

Duplicate of #519

[vscodebot]

This issue has been closed because it is already tracked by another issue. See also our GitHub issues to search for existing issues and our issue reporting guidelines.

Happy Coding!