Source de js/highlight_utils.js

prev=0
pfx='found_'
obg=''
function gotoFound(i)
{
 if (prev) {
  p=getE(pfx+prev)
  p.style.border=0
  p.style.backgroundColor=obg
  p.style.color='black'
 }
 e=getE(pfx+i)
 if (!e) {
  i=1
  e=getE(pfx+i)
 }
 e.style.border='1px dashed black'
 obg=getS(e,'background-color','backgroundColor')
 e.style.backgroundColor='#f6bf00'
 scrollTo(0,getTopOffset(e)-100)
 prev=i
 return false
}
| Retour aux sources du site |
| Haut de page |