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

ID: 1319 User updated by: danielc at analysisandsolutions dot com Reported By: danielc at analysisandsolutions dot com Status: Open Bug Type: Web Site Operating System: Irrelevant PHP Version: Irrelevant New Comment: In general I agree with you about absolute font sizes. The reason they're acceptable in this situation is the text in question is just the navigation stuff (previous/next and language links, etc) which isn't really meant to be read. Also, the fixed size comes in handy here because the existing style sheets already set the body font to a relative size. If that size gets changed at some future time, it would impact how the navigation lays out. This already happened once recently. If you disagree, please change "8pt" to "75%" in style-manual.css and then apply it. Thanks. Previous Comments: ------------------------------------------------------------------------ [2004-04-30 12:51:02] mj@php.net Absolute font sizes are definitively no nice thing. Can you get rid of them and use relative sizes instead? ------------------------------------------------------------------------ [2004-04-30 11:13:51] danielc at analysisandsolutions dot com Description: ------------ The navigation bar for the manual needs better formatting to reduce the number of times it becomes so wide that it forces the body text off the right hand side of the page. Also, there needs to be an easy way to add style sheets to the <header>. I've added the $extra_styles array for this purpose. Here's the patch http://www.analysisandsolutions.com/pear/manual.nav.style.diff ------------------------------------------------------------------------ -- Edit this bug report at http://pear.php.net/bugs/bug.php?id=1319&edit=1