Substantially more sophisticated search
HTML and CSS for search box
Indenting in index.html
Incremental search\!
Minor tweaks to search function
Fix bug in server
Some improvements to tag and search UI
History manipulation for incremental search
Update todo