display change request for php.net

This is a *really* nitpicky suggestion, but would you guys mind removing the font size declaration from your top-level stylesheet? The font-size=90% sets a small size relative to the user's default, which has neither the benefit of using a hard-coded font size deemed attractive or necessary by the designer (for example, declaring it to be 10px because it's aesthetically pleasing) or allowing the user to set their own font size. It seems designed to convenience only those users who have their default set to 12, but like the appearance of 10. take care, -mike. -------------------------------------------------------------------------- michal migurski mike@saturn5.com http://www.saturn5.com/mike AIM:migurski -------------------------------------------------------------------------- --> relaxen und watchen das cursorblinken <-- --------------------------------------------------------------------------