A color theme compositor for Android apps