mirror of
https://github.com/microsoft/vscode.git
synced 2026-06-07 16:16:58 +01:00
143bebfbb4
This fixes some cases where a user style sheet may be setting a weird base font-size.