Thread:Kangaroopower/@comment-3508190-20120413185323/@comment-3508190-20120416062945

I just stumbled across Rangy. It's a JS library for selecting text and getting/setting the cursor position in contenteditable divs. That should make highlighting the search results really easy.