59 |
|
|
60 |
<span style="background: #e0e0e0;"> |
<span style="background: #e0e0e0;"> |
61 |
<a href="search.html"><b>search</b></a> | |
<a href="search.html"><b>search</b></a> | |
62 |
<a href="thesaurus.html">thesarus</a> | |
<a href="browse.html">browse</a> | |
63 |
<a href="browse.html">browse</a> |
<a href="alphabetical.html">alphabetical</a> |
64 |
</span> |
</span> |
65 |
|
|
66 |
<div> |
<div> |
77 |
select_option("all","Sve riječi",lang); |
select_option("all","Sve riječi",lang); |
78 |
document.write('</select>'); |
document.write('</select>'); |
79 |
|
|
80 |
document.write("<input name=\"query\" value=\""); |
document.write('<input name="query" value="'); |
81 |
|
|
82 |
if (args.query) { |
if (args && args.query) { |
83 |
var search_string = args.query.replace(/\+/gi," "); |
var search_string = args.query.replace(/\+/gi," "); |
84 |
document.write(search_string); |
document.write(search_string); |
85 |
} |
} |
86 |
|
|
87 |
document.write("\" type=\"text\" size=\"30\"/>\n"); |
document.write('" type="text" size="30"/>'); |
88 |
// --> |
// --> |
89 |
</script> |
</script> |
90 |
|
|