|
|
<head>
|
|
|
<link rel="StyleSheet" href="css/menu.css" type="text/css" />
|
|
|
<script>
|
|
|
var current='';
|
|
|
function paint(id) {
|
|
|
if(document.getElementById(current)) {
|
|
|
document.getElementById(current).style.background='#D6DFE7';
|
|
|
}
|
|
|
document.getElementById(id).style.background='#FFFFCC';
|
|
|
current = id;
|
|
|
}
|
|
|
</script>
|
|
|
</head>
|
|
|
<body>
|
|
|
<script>
|
|
|
|
|
|
document.write(parent.docs.length + ' results<br />');
|
|
|
for(i=0;i<parent.docs.length;i++) {
|
|
|
var doc = parent.docs[i];
|
|
|
var parts = parent.docs[i].split('|');
|
|
|
document.write("<a id='"+
|
|
|
parts[1]+
|
|
|
"' onclick='parent.his[parent.his.length]=\""+parts[0]+"|"+"pages/"+parts[1]+".html"+"\";paint(\""+ parts[1]+"\");' class='result' target='content' href='pages/"+ parts[1]+".html'>" + parts[0] + "</a><br />");
|
|
|
}
|
|
|
</script>
|
|
|
</body>
|