what is up with the particular font Google uses for “GIF” as a narrowing option on mobile image search results?