Hi all,

Picked up monodoc recently and noticed one cannot search within the
current page. This is quite useful when looking up APIs. In any case,
I've added a little bar (similar to epiphany's) to search within the
current tab.

Attached is a patch for mono-tools. gnome-sharp also needs to be patched
to bind the search methods in gtkhtml. Comments? Suggestion? Am I way
off here? ;)

Cheers,

Alvaro

ps. The search bar is currently disabled when using gecko renderer. I
plan on adding search to GeckoHtmlRender as well.