<?php $help_system->display_toolbar($id); ?> </div> <div id="toc"> <?php $help_system->display_toc($id); ?> </div> <div id="contents"> <?php echo "<div style=\"font-size:130%; font-weight:bold; color:#295AAD\">" . sprintf($string['searchedfor'], $_GET['searchstring']) . "</div>\n<br />\n"; if (isset($_GET['searchstring'])) { $searchstring = $_GET['searchstring']; $search_results = $help_system->find($searchstring); $total_hits = count($search_results); $page_size = 25; if ($total_hits == 0) { echo "<p>" . sprintf($string['noresults'], $_GET['searchstring']) . "</p>\n"; echo "<div><strong>" . $string['tips'] . "</strong></div>\n"; echo "<ul style=\"\">\n<li>" . $string['tipsli'] . "</li>\n</ul>\n"; } else { $page_no = 0; $link_no = 0; $page_total = ceil($total_hits / $page_size); $hit_start = $page_size * $page_no - $page_size + 1; $hit_stop = $page_size * $page_no; foreach ($search_results as $search_result) { if ($link_no > 0) { echo "<tr><td class=\"row1\"><img src=\"../single_page.png\" class=\"icon16_active\" /></td><td class=\"row2\">";