Hide the toolbars of the HTML editor when Javascript is not available
Added support for tooltips in buttons
Set tooltips instead of labels for the toolbar buttons of the HTML editor