" <link rel=\"stylesheet\" type=\"text/css\" href=\"../share/style.css\" />\n"
" <script type=\"text/javascript\" src=\"../share/jquery-1.4.2.min.js\">\n"
" </script>\n"
+ " <script type=\"text/javascript\" src=\"../share/raphael-min.js\">\n"
+ " </script>\n"
+ " <script type=\"text/javascript\" src=\"../share/g.raphael-min.js\">\n"
+ " </script>\n"
+ " <script type=\"text/javascript\" src=\"../share/g.line-min.js\">\n"
+ " </script>\n"
" <script type=\"text/javascript\" src=\"../share/collection.js\">\n"
" </script>\n"
" </head>\n",
printf ("<a href=\"%s?action=list_graphs\" id=\"logo-canvas\">\n"
" <h1>C<sub>4</sub></h1>\n"
" <div id=\"logo-subscript\">collection 4</div>\n"
- "</a>\n");
+ "</a>\n", script_name ());
return (0);
} /* }}} int html_print_search_box */