An html implementation of Matteo Pasuto's gmail redesign