Convert panel sprites to PNG. Files aren't actually smaller than the GIF versions, but they likely will be if more icons are added down the road. Plus, GIF is so 90s.