php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login

go to bug id or search bugs for

Bug #56076 fonts for IE too big
Submitted: 2004-05-25 14:08 UTC Modified: 2004-06-09 12:36 UTC
From: mike@php.net Assigned: danielc (profile)
Status: Closed Package: PECL website (PECL)
PHP Version: Irrelevant OS: N/A
Private report: No CVE-ID: None
View Developer Edit
 [2004-05-25 14:08 UTC] mike@php.net 
Description:
------------
The fonts of the PEAR website are rendered way too big for IE.

This could be solved by adding the following three lines to the PEAR stylesheet:

table {
  font-size: 100%;
}

Patches

Pull Requests

History

AllCommentsChangesGit/SVN commitsRelated reports
 [2004-06-09 01:10 UTC] danielc at analysisandsolutions dot com 
The style sheets have been modified a bit.  Can you please check the site out and let me know if this is still a problem?  It looks okay for me in IE, but that could be due to my preferences.  If /css/style.css still needs tweaking, do we need to add a whole new doodad like this:

    table {
        size: 100%;
    }

Or can we put the "size: 100%" in the existing section:

    table.head,
    table.middle,
    table.foot {
        size: 100%;
    }
 [2004-06-09 04:39 UTC] mike@php.net 
That's just because IE and Opera render fonts in tables far bigger than Mozilla does. Assigning 100% font-size to tables (no matter what the body's font-size actually is) should make them render the fonts fairly equal.

Have a look at these screenshots, which show the difference:
http://iworks.at/temp/pear-moz.png
http://iworks.at/temp/pear-ie.png

Michael
 [2004-06-09 12:36 UTC] danielc at analysisandsolutions dot com 
Fixed in CVS.  Thanks.
 
PHP Copyright © 2001-2025 The PHP Group
All rights reserved. 		Last updated: Wed Nov 05 05:00:01 2025 UTC