Tweak color scheme, and add numbers to workspace names.