Is it me or the comment edit font is a bit to small?

Basically the title, while I can change overall comment font, the font when editing the comment seems to stay the same

Here's the comment font is set to large

Same when editing a post, I understand it's tied to base font size setting but I don't exactly want the rest of my experience to have bloated fonts, can we have a separate setting for it?