What's up with the font size in the Markdown text editor? — LessWrong