Submarine themes GTK2: workspace-switcher styling