[fixes #111] Bigger font inside editor.

The font inside the editor div was too small, changed its
size to 14px.