Fixes #86: Source mode and textarea font is the same as page font.