In reply to a tweet by rabcyr:@rabcyr iirc the animated gifs are done using CSS transforms and animations instead. Non-pixelated text ftw!