Fix searchbox

This is the ongoing work of @monodo, what I did (complementary to @monodo's work):
* Re-apply the includes in `searcher.js` (Why did you take them away @monodo?)

Before merging I would like to add some more styling stuff.