Gmail has a colorful new logo, but I'm going to miss the old envelope