This JavaScript widget/module adds search on static web pages.
For it to work, the page it's added on needs to have a link element with type rss in it.
The search script will fetch and search the pages found in the RSS file!
Check out my web page to see it in action!
Add the following code to the head/header:
Then somewhere in the body, add:
And (optionally) add the div for the search results somewhere in the body:
If you want to override the default style:
Feel free to copy and make modifications.