Add defaults for text size and font family in theme for tooltips and commentbox.
Add new buttons, rm random problem playouts, change style somewhat.
Fix some problems with the undo button.