This is static HTML to place at the beginning and ending of every search page respectively. It is useful for setting styles and displaying navigation menus and otherwise making the search pages look like the rest of your site.
<!-- THUNDERSTONE_HEADERS --> placeholder is replaced at search time
with custom information necessary for search. If you customize your Top HTML,
<!-- THUNDERSTONE_HEADERS --> is somewhere in the Top HTML's
Top and Bottom HTML when placed together should be exactly what is required to create a complete and valid HTML page. You can use your favorite HTML editor to create a page with a placeholder for the search form and results. Then cut and paste the section of HTML before the placeholder into the Top HTML and the section of HTML after the placeholder into the Bottom HTML.
$query occurs within these fields, it will be replaced by
the user's query.