Раз никто не знает, выкладываю свое решение, может кому пригодится. Пришлось изобрести такой костыль:
function findText() {
var obj = window.document.getElementById("findField")
var textToFind = obj.value
if (textToFind == "") {
alert("Please, input text")
return
}
document.getElementById("document").innerHTML =
document.getElementById("document").innerHTML.
replace(eval("/"+textToFind+"/g"),"<span style='background-color: #ffdb58'>"+textToFind+"</span>")
var obj = window.document.getElementById("findField")
obj.value = textToFind
}