Fix button height in Opera
Add editor theme switch in menu
Remove gutter cell style (allow set it by themes)
Move theme selection to separate menu