Blue-Submarine, Green-submarine: fix tooltip colors in cinnamon themes
Blue-submarine: fix building cinnamon theme