--- doc/build/generate_web_pages.pl	2011/12/01 04:58:57	1.53
+++ doc/build/generate_web_pages.pl	2014/01/15 05:16:40	1.55
@@ -179,7 +179,7 @@ $content .= "</ul>\n";
 
 $links='<link rel="alternate" type="application/rss+xml" title="CVS RSS" href="loncapa.rss" />';
 
-my $index = replaceText("Install LON-CAPA", $links, "Install LON-CAPA",
+my $index = replaceText("Install LON-CAPA", $links, '<font color="#006600" face="Arial, Helvetica, sans-serif">Documentation/Download</font>',
 			$content);
 
 print INDEX $index;
@@ -194,7 +194,8 @@ for (@longlifecycle,@shortlifecycle,@anc
     $content = join '', <SOURCE>;
     close SOURCE;
 
-    $content = replaceText($title, '', '<a href="/">Install LON-CAPA</a> &gt; ' . $title,
+    $content = replaceText($title, '', '<font face="Arial, Helvetica, sans-serif"><a href="/">Documentation/Download</a> &raquo; '.
+                           '</font><font color="#006600" face="Arial, Helvetica, sans-serif">'.$title,
 			   $content);
     open DEST, '>', $source.'.html';
     print DEST $content;