🚀 Feature Proposal

Let font size of problem describe file equal to editor.fontSize not workbench font size.

Motivation

The font size of problem describe file is to small.

image

As it opening in editor section why the font size not equal editor font size?

image