tinymce tweaks: disabled pasting styles, bigger font in editor