Allow font size changes for different headings in markdown. For example, headings added with prefix #, ##, ###, etc. should each have different font sizes.

In my opinion, this feature is most suitable to be included in themes or in settings directly.