Increase margin between bottom of editor and textarea

Webkit still sometimes triggers scrolling in the wrapper div because of
the textarea's cursor.

Closes #1384