Re: Font size on PEAR website

le 8/04/02 11:28, Bertrand Mansion à bmansion@mamasam.com a écrit : > le 8/04/02 10:01, Michael Haertl à mhaertl@emiga.de a écrit : >> Bertrand Mansion wrote: >>> I have no problem with the PHP website, why don't we use its CSS as both >>> site are supposed to have the same look and feel. >> >> +1 >> >> exactly what i proposed some month ago, with no result :) >> I got Problems with the font size on Mozilla 0.9.9/W2K on pear.php.net. >> I got _no_ Problems on www.php.net. > > As a lot of people seem to agree that the CSS is not very compatible, I > changed it to reflect more the PHP website look and feel. I just commited > the changes in CVS 'pearweb' repository but it does not seem to be updated > on the webserver. What is the process to do so ? OK, there seems to be some more problems, this time not related to the CSS but to the chosen DTD. If I use the PHP website DTD to render Pear pages, it all works great : <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> But if I use the current PEAR DTD, fonts are too small : <!DOCTYPE html PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' 'http://www.w3c.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> That makes me think about 2 possible solutions: 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. I am in favour of n.1 for the moment. Do you all agree ? Bertrand Mansion Mamasam