7 |
<script type="text/javascript" src="tree-ids.js"></script> |
<script type="text/javascript" src="tree-ids.js"></script> |
8 |
<script type="text/javascript" src="js/getargs.js"></script> |
<script type="text/javascript" src="js/getargs.js"></script> |
9 |
<script type="text/javascript" src="js/popup.js"></script> |
<script type="text/javascript" src="js/popup.js"></script> |
10 |
|
<script type="text/javascript" src="js/findpos.js"></script> |
11 |
<script type="text/javascript"> |
<script type="text/javascript"> |
12 |
|
|
13 |
|
|
14 |
function outline_url() { |
function outline_url() { |
15 |
var args = getArgs(); |
var args = getArgs(); |
16 |
|
var o = args['o']; |
17 |
|
|
18 |
if (args['o']) { |
if (o) { |
19 |
outline_display('o'+args['o']); |
outline_display('o'+o); |
20 |
self.location = "#mfn"+args['o']; |
if (self.location.hash) { |
21 |
|
// following reloads page in Opera == not good |
22 |
|
//self.location = "#mfn"+o |
23 |
|
var e = element_id('o'+o); |
24 |
|
var y = findPosY(e); |
25 |
|
// position 30px above found term |
26 |
|
if (y > 30) y -= 30; |
27 |
|
if (e) window.scrollTo(findPosX(e),y); |
28 |
|
} |
29 |
|
return true; |
30 |
} |
} |
31 |
return true; |
return true; |
32 |
} |
} |
35 |
<link rel="stylesheet" href="eurovoc.css" type="text/css"> |
<link rel="stylesheet" href="eurovoc.css" type="text/css"> |
36 |
</head> |
</head> |
37 |
|
|
38 |
<body onLoad="outline_url();"> |
<body onLoad="return outline_url();"> |
39 |
<table width="100%" border="0" cellspacing="0" cellpadding="0"> |
<table width="100%" border="0" cellspacing="0" cellpadding="0"> |
40 |
<tr> |
<tr> |
41 |
<td colspan="3" class="hdr" height="10"> |
<td colspan="3" class="hdr" height="10"> |