From 92acb59a1d11242d9c421108420f1488ccfd5b82 Mon Sep 17 00:00:00 2001
From: "Anders S. Mortensen" <sondberg@indexdata.dk>
Date: Thu, 11 Jan 2007 13:31:31 +0000
Subject: [PATCH] Right styling of selected item in pager.

---
 www/demo/search.js |    4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/www/demo/search.js b/www/demo/search.js
index e4f6dab..bce9e79 100644
--- a/www/demo/search.js
+++ b/www/demo/search.js
@@ -1,4 +1,4 @@
-/* $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
  */
@@ -169,8 +169,8 @@ function make_pager (hits, offset, max) {
             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'));
         };
-- 
1.7.10.4