We will change the default size it (larger...). Note that you can also modify the size of the font in your web browser (Ctrl+wheel) but it probably modifies the general settings of the browser (not so good...). Thanks for your comment (I had the same feeling) Francis
Hi Francis. I checked you tip but this is only chnaging the size of the bullets for the linls on the left here (the ones for Index, User list, Search, Profile, Logout). So I have to wait until the default has changed. Many thanks Carsten
