Troy, On Mittwoch, 10. Oktober 2007, Troy Davis wrote: > what size fonts do we want to use again? I think we should have fonts with a height of 7, 9 and 11 Pixels, both in variable and in fixed width. regards Amadeus -- We're back to the times when men were men and wrote their own device drivers. (Linus Torvalds)