RE: [PEAR-DEV] pear.php.net font sizes
| From: | Richard Heyes | Date: | Thu, 11 Apr 2002 12:49:08 +0000 |
| Subject: | RE: [PEAR-DEV] pear.php.net font sizes | ||
| References: | 1 | Groups: | php.pear.dev |
| Request: | Send a blank email to pear-dev+get-5356@lists.php.net to get a copy of this message | ||
> That's weird !
> Looks to me like there are bugs in recent browser when they have to deal
> with xHTML. We should definitely use pixels for font-size (or change the
> DTD).
Changing the DTD does seem to alleviate the issue. So I'm all for it. Patch
attached.
Be nice if people could test the patch with their local copies of pearweb
and report any issues.
--
Richard Heyes
Index: layout.php =================================================================== RCS file: /repository/pearweb/include/layout.php,v retrieving revision 1.34 diff -u -r1.34 layout.php --- layout.php 30 Mar 2002 14:18:05 -0000 1.34 +++ layout.php 11 Apr 2002 12:42:41 -0000 @@ -160,10 +160,9 @@ function commonHeader($title) { global $SIDEBAR_DATA, $HTTP_SERVER_VARS; -?><!DOCTYPE html - PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' - 'http://www.w3c.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> -<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'> +?> +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> +<html> <head> <title>PEAR :: <?php echo $title; ?></title> <link rel="stylesheet" href="/style.css" />
Index: layout.php =================================================================== RCS file: /repository/pearweb/include/layout.php,v retrieving revision 1.34 diff -u -r1.34 layout.php --- layout.php 30 Mar 2002 14:18:05 -0000 1.34 +++ layout.php 11 Apr 2002 12:42:41 -0000 @@ -160,10 +160,9 @@ function commonHeader($title) { global $SIDEBAR_DATA, $HTTP_SERVER_VARS; -?><!DOCTYPE html - PUBLIC '-//W3C//DTD XHTML 1.0 Transitional//EN' - 'http://www.w3c.org/TR/xhtml1/DTD/xhtml1-transitional.dtd'> -<html xmlns='http://www.w3.org/1999/xhtml' xml:lang='en' lang='en'> +?> +<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN"> +<html> <head> <title>PEAR :: <?php echo $title; ?></title> <link rel="stylesheet" href="/style.css" />