#1319 [Asn]: PATCH fix styles for manual navigation

ID: 1319 Updated by: helgi@trance.is Reported By: danielc at analysisandsolutions dot com Status: Assigned Bug Type: Web Site Operating System: Irrelevant PHP Version: Irrelevant Assigned To: mj New Comment: res. 1024, Firefox 0.8, Linux, basefont 16px; But well didn't mean he should revert the whole patch ;) Thought this was all defined in CSS since I saw many small tags stripped out ... But I see now there is infact a small tag :) Well Martin will remove that if the see's a need :) Previous Comments: ------------------------------------------------------------------------ [2004-05-01 21:16:47] danielc at analysisandsolutions dot com Just making sure. You just mean the words "(previous)" and "(next)," and not the whole thing, right? If so, remove the <small> around them. No need to revert the whole patch. They look fine to me. Guess it depends on the base font size in your browser's preferences. See why I wanted to use pt? Perhaps try pt and see how it looks? By the way, my resolution is 1024, browser is a recent Mozilla build, os is Windows, base font size is 20 px. ------------------------------------------------------------------------ [2004-05-01 20:00:35] helgi at trance dot is (next) (previous) is way to small ... I'm using FireFox on Linux with 1024 res. ;/ But I don't wanna touch the style.css ... Martin will probly never the less reverte that ;D So Martin make it a little bigger :) ------------------------------------------------------------------------ [2004-05-01 16:55:56] mj@php.net Commited. I changed the absolute font sizes to relative ones and additionally I also "cleaned up" the stylesheet a bit. ------------------------------------------------------------------------ [2004-05-01 16:09:40] danielc at analysisandsolutions dot com Helgi, please provide a citation regarding "pt" in CSS being meant for printed matter. It's not mentioned in the CSS 1 recommendation, that's for sure. When fixed size fonts are needed (as I believe they are in this case), pt is the way to go because they are more consistently rendered than px. Martin, even though I'm arguing for pt, it's not THAT big a deal. Just apply the patch with the existing 8pt or substituting 75% and I'll be happy. Thanks. ------------------------------------------------------------------------ [2004-04-30 23:47:06] helgi at trance dot is Well one should never use pt on web since those are mostly only ment for printing ;) ------------------------------------------------------------------------ The remainder of the comments for this report are too long. To view the rest of the comments, please view the bug report online at http://pear.php.net/bugs/bug.php?id=1319 -- Edit this bug report at http://pear.php.net/bugs/bug.php?id=1319&edit=1