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 = '
' . - $SIDEBAR_DATA.= ''; + $SIDEBAR_DATA = '' . "\n"; + $SIDEBAR_DATA .= '
' . "\n"; /** The manual lookup will be implemented at a later point. $SIDEBAR_DATA.= ''; */ - $SIDEBAR_DATA.= ''; + $SIDEBAR_DATA .= ''; + $SIDEBAR_DATA .= ' ' . "\n\n"; + + $SIDEBAR_DATA .= '
' . "\n\n"; if (($HOME[1] != $UP[1]) && $UP[1]) { - $SIDEBAR_DATA.= ''; + $SIDEBAR_DATA .= ' ' . "\n\n"; } - $SIDEBAR_DATA.= ''; + $SIDEBAR_DATA.= " \n\n"; if (count($TOC) > 1) { - $SIDEBAR_DATA.= ''; + $SIDEBAR_DATA.= '
' . "\n\n"; } - $SIDEBAR_DATA .= ''; + $SIDEBAR_DATA .= ' ' . "\n\n"; - $SIDEBAR_DATA.= '
' . @@ -64,47 +64,51 @@ $SIDEBAR_DATA.= '
' . - make_link('./', make_image('caret-t.gif', $HOME[1]) . $HOME[1] ) . - '
' . "\n"; - $SIDEBAR_DATA.= '
' . - make_link($UP[0], make_image('caret-u.gif', $UP[1]) . $UP[1] ) . - '
'; + $SIDEBAR_DATA .= '
    ' . "\n"; for ($i = 0; $i < count($TOC); $i++) { list($url, $title) = $TOC[$i]; if (!$url || !$title) { continue; } - $img = 'box-0.gif'; - if ($title == $this) { - $img = 'box-1.gif'; + $title_fmt = @htmlspecialchars($title, ENT_QUOTES, $CHARSET); + if (strlen($title_fmt) > 25) { + $title_fmt = str_replace('::', '::
    ', $title_fmt); } - $SIDEBAR_DATA .= ' ' . - make_link($url, make_image($img, @htmlspecialchars($title,ENT_QUOTES,$CHARSET)) . @htmlspecialchars($title,ENT_QUOTES,$CHARSET) ) . - '
    '; + $SIDEBAR_DATA .= '
  • ' + . (($title == $this) ? $title_fmt : make_link($url, $title_fmt)) + . "
  • \n"; } - $SIDEBAR_DATA.= '
 ' - . make_image("box-0.gif") - . make_link("/manual/", "Download Documentation") - . '
-'; + $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; +}