WYSIHTML5 editor is now a little bit more reasonable on screen real
estate.