remove desert256, jellybeans, and tagbar