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.
The <!-- THUNDERSTONE_HEADERS --> placeholder is replaced at search time
with custom information necessary for search. If you customize your Top HTML,
make sure <!-- THUNDERSTONE_HEADERS --> is somewhere in the Top HTML's
<head> section.
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.
If $query occurs within these fields, it will be replaced by
the user's query.