Re: Font size on PEAR website

le 8/04/02 13:17, Richard Heyes à richard@phpguru.org a écrit : >> 1) If we are going to use '%' instead of 'px' to define font-size, I >> guess >> it would be better to use the PHP website DTD. And when PHP >> website changes >> its DTD, we will also change PEAR website DTD. >> >> 2) We can keep the current dtd, but we will have to change % to pixels. > > 3) Make pear webby plain text. /) WELCOME TO PEAR ,.//, --------------- / ' \ User : Richard Heyes : : pear_dev cookie set : : : : : : 1. Docs : ; 2. Support : : 3. FAQ ; ; ; ; : : \ / ._,.=''-.,_,. '-._ ~ _.-' ''' Happy ? :-D Bertrand Mansion Mamasam