-/* $Id: search.js,v 1.20 2007-01-11 12:47:19 sondberg Exp $
+/* $Id: search.js,v 1.21 2007-01-11 13:31:31 sondberg Exp $
* ---------------------------------------------------
* Javascript container
*/
page_elem.className = 'select';
}
- page_elem.setAttribute('href', '#');
page_elem.setAttribute('off', off);
+ page_elem.style.cursor = 'pointer';
page_elem.onclick = function () {
update_offset(this.getAttribute('off'));
};