Index: include/pear-format-html.php
===================================================================
RCS file: /repository/pearweb/include/pear-format-html.php,v
retrieving revision 1.98
diff -u -r1.98 pear-format-html.php
--- include/pear-format-html.php 12 May 2004 16:54:31 -0000 1.98
+++ include/pear-format-html.php 13 May 2004 14:18:00 -0000
@@ -224,20 +224,23 @@
function &draw_navigation($data, $menu_title='')
{
- $html = "
\n";
+ $html = "\n";
if (!empty($menu_title)) {
$html .= "$menu_title\n";
- $html .= "
\n";
}
+ $html .= '
' . "\n";
foreach ($data as $url => $tit) {
- $tt = str_replace(' ', ' ', $tit);
+ $html .= ' - ';
if ($url == $_SERVER['PHP_SELF']) {
- $html .= make_image('box-1.gif') . "$tt
\n";
+ $html .= '' . $tit . '';
} else {
- $html .= make_image('box-0.gif') . "$tt
\n";
+ $html .= '' . $tit . '';
}
+ $html .= " \n";
}
+ $html .= "
\n\n";
+
return $html;
}
Index: public_html/style.css
===================================================================
RCS file: /repository/pearweb/public_html/style.css,v
retrieving revision 1.29
diff -u -r1.29 style.css
--- public_html/style.css 10 May 2004 04:01:35 -0000 1.29
+++ public_html/style.css 13 May 2004 14:18:01 -0000
@@ -198,4 +198,17 @@
border-top: thin solid #CCCCCC;
margin-top: 0px;
margin-bottom: 0px;
-}
\ No newline at end of file
+}
+
+ul.side_pages {
+ margin-top: 0.1em;
+ margin-bottom: 1.5em;
+ margin-left: 1em;
+ padding-left: 1em;
+ list-style: url(http://pear.php.net/gifs/box-0.gif) square;
+}
+
+li.side_page {
+ text-indent: -0.4em;
+ white-space: nowrap;
+}