In reply to a tweet by rabcyr:

@rabcyr iirc the animated gifs are done using CSS transforms and animations instead. Non-pixelated text ftw!