@gh87 requests an increase to the leading (aka line-spacing) in the default MediaWiki editor (2003 editor), to match that in the other editors.
As far as I can tell, just adding #wpTextbox1 {line-height: 1.5em;} somewhere in the code, should fix it. (But I don't know if that would have other repercussions)
Current:
Previously discussed in: