15 |
|
|
16 |
if (o) { |
if (o) { |
17 |
outline_display('o'+o); |
outline_display('o'+o); |
18 |
if (self.location.hash) { |
|
19 |
// following reloads page in Opera == not good |
// following reloads page in Opera == not good |
20 |
//self.location = "#mfn"+o |
//self.location = "#mfn"+o |
21 |
var e = element_id('o'+o); |
var e = element_id('o'+o); |
22 |
|
if (e) { |
23 |
var y = findPosY(e); |
var y = findPosY(e); |
24 |
|
|
25 |
// position 30px above found term |
// position 30px above found term |
26 |
if (y > 30) y -= 30; |
if (y > 30) y -= 30; |
27 |
if (e) window.scrollTo(findPosX(e),y); |
if (e) window.scrollTo(findPosX(e),y); |