Qualcosa del genere si puo` farlo, ma con limitazioni (rispetto al ^F).
nel caso piu` semplice, puoi evidenziare tutte le occorrenze all'interno di un <div>:
codice:
function trova(cosa, dove);
// cosa e` una stringa che non contiene caratteri speciali;
// dove e` l'id del <div> in cui cercare
var str = document.getElementById(dove).innerHTML;
var re = "/"+(cosa)+"/gi";
str = str.replace(cosa, "\<span class\=\'evid\'\>$1\<\/span\>");
document.getElementById(dove).innerHTML = str;
}
nel CSS della pagina ci dovra` essere la classe .evid che conterra` la caratteristica dell'evidenziazione.