Change theme

 

By repeatly clicking on this button, the style of the editor changes accordingly. The tooltip for this button shows the current theme. The following different themes are available (sorted on appearance):