5 |
<head> |
<head> |
6 |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2"/> |
7 |
<title>HIDRA Eurovoc CD</title> |
<title>HIDRA Eurovoc CD</title> |
8 |
|
<script src="bfilter/hide.js" type="text/javascript"></script> |
9 |
<script src="js/l2_unescape.js" type="text/javascript"></script> |
<script src="js/l2_unescape.js" type="text/javascript"></script> |
10 |
<script src="js/getargs.js" type="text/javascript"></script> |
<script src="js/getargs.js" type="text/javascript"></script> |
11 |
<script src="js/search.js" type="text/javascript"></script> |
<script src="js/search.js" type="text/javascript"></script> |
12 |
<script src="js/usage.js" type="text/javascript"></script> |
<script src="js/usage.js" type="text/javascript"></script> |
13 |
|
<link rel="stylesheet" href="style.css" type="text/css"> |
14 |
</head> |
</head> |
15 |
|
|
16 |
<body> |
<body> |
17 |
|
|
18 |
|
<div style="float: right; width: 10em; text-align: center; margin: 0.5m"> |
19 |
|
<a href="#" onClick="toggle_display('debug');">debug</a> |
20 |
|
<div style="text-align: left; border: 1px dashed #c0c0c0; display: none;" id="debug"> |
21 |
|
</div> |
22 |
|
</div> |
23 |
|
|
24 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |
25 |
<a href="search.html"><b>search</b></a> | |
<a href="search.html"><b>search</b></a> | |
26 |
<a href="thesaurus.html">thesarus</a> | |
<a href="thesaurus.html">thesarus</a> | |
38 |
} |
} |
39 |
</script> |
</script> |
40 |
|
|
41 |
<form name="search" onsubmit="return go(this);"> |
<form id="search" onsubmit="return go(this);"> |
42 |
<script type="text/javascript"> |
<script type="text/javascript"> |
43 |
document.write('<select name="index_name">'); |
document.write('<select name="index_name">'); |
44 |
select_option("index/DescriptorHR","Hrvatski",args.index_name); |
var index = 'index/DescriptorHR'; |
45 |
select_option("index/DescriptorEN","Engleski",args.index_name); |
if (args && args.index_name) index = args.index_name; |
46 |
select_option("index/DescriptorFR","Francuski",args.index_name); |
select_option("index/DescriptorHR","Hrvatski",index); |
47 |
select_option("index/DescriptorGE","Njemački",args.index_name); |
select_option("index/DescriptorEN","Engleski",index); |
48 |
select_option("index/AllThes","Sve riječi",args.index_name); |
select_option("index/DescriptorFR","Francuski",index); |
49 |
|
select_option("index/DescriptorGE","Njemački",index); |
50 |
|
select_option("index/AllThes","Sve riječi",index); |
51 |
document.write('</select>'); |
document.write('</select>'); |
52 |
</script> |
</script> |
53 |
<script type="text/javascript"> |
<script type="text/javascript"> |
68 |
|
|
69 |
if (args.query) { |
if (args.query) { |
70 |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
document.write("<div id=\"results\"><h2>Please wait...</h2></div>\n"); |
71 |
doSearch(args.index_name, args.query, printResults); |
doSearch(index, args.query, printResults); |
72 |
} |
} |
73 |
|
|
74 |
</script> |
</script> |