Non vous n'avez pas modifié la taille de police de votre navigateur par inadvertance, je vous rassure.
Nous venons d'augmenter la taille de police d'écriture d'un cran supplémentaire : la passant de 11 pixels à 12 pixels.
Ne vous inquiétez pas, on s'y fait très vite !

En même temps... J'ai corrigé quelques bugs et trucs chelou sous IE6. :)