Le mardi 21 octobre 2008 à 11:31 +0200, jb a écrit : > I made some changes to it yesterday , do you think the font got > smaller ? This is an issue for several months.