php.net |  support |  documentation |  report a bug |  advanced search |  search howto |  statistics |  random bug |  login
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
 [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

Add a Patch

Pull Requests

Add a Pull Request

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-2024 The PHP Group
All rights reserved.
Last updated: Fri Apr 19 11:01:28 2024 UTC