A minimal WYSIWYG text editor in Javascript.