/* This is the source for offline web search; it will be embedded in a generated search page along with the search index xml. You will almost certainly want to gzip this when delivering it! Also be sure it has the proper cache headers to give a remotely acceptable performance result. Configure the web server to do both these. When storing it for offline usage, you might just leave it unzipped though for convenience of use without a web server. Tip to the end user: you might want to open this page and keep it open in a reused tab. The file generated should be the skeleton.html with the search index in a