Index: include/pear-manual.php =================================================================== RCS file: /repository/pearweb/include/pear-manual.php,v retrieving revision 1.35 diff -u -r1.35 pear-manual.php --- include/pear-manual.php 1 May 2004 21:04:37 -0000 1.35 +++ include/pear-manual.php 2 May 2004 14:26:58 -0000 @@ -51,8 +51,8 @@ global $NEXT, $PREV, $UP, $HOME, $TOC, $DOCUMENT_ROOT; global $SIDEBAR_DATA, $LANG,$CHARSET; - $SIDEBAR_DATA = '
\n\n"; } Index: public_html/style-manual.css =================================================================== RCS file: /repository/pearweb/public_html/style-manual.css,v retrieving revision 1.2 diff -u -r1.2 style-manual.css --- public_html/style-manual.css 2 May 2004 08:35:22 -0000 1.2 +++ public_html/style-manual.css 2 May 2004 14:33:20 -0000 @@ -1,16 +1,68 @@ -/* styles for viewing the manual on the website */ +/* STYLES FOR VIEWING THE MANUAL ON THE WEBSITE */ + +/* === Navigation Sidebar === */ + +/* larger links: manual home, up one level, download */ + +ul.man-side_top, +ul.man-side_up, +ul.man-side_download { + margin-top: 0.5em; + margin-bottom: 0.5em; + margin-left: 0.7em; + padding-left: 0.7em; +} + +li.man-side_top { + list-style: url(http://pear.php.net/gifs/caret-t.gif) circle; + text-indent: -0.4em; +} + +li.man-side_up { + list-style: url(http://pear.php.net/gifs/caret-u.gif) disc; + text-indent: -0.4em; +} + +li.man-side_download { + list-style: url(http://pear.php.net/gifs/box-0.gif) square; + text-indent: -0.4em; +} + +/* list of manual pages */ + +ul.man-side_pages { + margin-top: 0.5em; + margin-bottom: 0.5em; + margin-left: 0.8em; + padding-left: 0.8em; + list-style: url(http://pear.php.net/gifs/box-0.gif) square; +} + +li.man-side_page { + text-indent: -0.4em; + font-size: 80%; +} + + +/* === Navigation Box (previous, next, languages) === */ + +/* top row */ td.man-nav_prev, td.man-nav_next { font-size: 75%; } +/* middle row */ + td.man-nav_view, td.man-nav_updated, td.man-nav_download { font-size: 75%; } +/* bottom row */ + td.man-nav_languages { font-size: 75%; } Index: public_html/style.css =================================================================== RCS file: /repository/pearweb/public_html/style.css,v retrieving revision 1.28 diff -u -r1.28 style.css --- public_html/style.css 28 Apr 2004 18:13:35 -0000 1.28 +++ public_html/style.css 2 May 2004 14:26:59 -0000 @@ -186,4 +186,10 @@ .indent { margin-left: 20px; -} \ No newline at end of file +} + +hr.greyline { + border-top: thin solid #CCCCCC; + margin-top: 0px; + margin-bottom: 0px; +}