From: Anders S. Mortensen <sondberg@indexdata.dk>
Date: Thu, 11 Jan 2007 10:18:38 +0000 (+0000)
Subject: Pager looks a little bit nicer in IE.
X-Git-Tag: rather.stable.2007.01.11~5
X-Git-Url: http://lists.indexdata.dk/?a=commitdiff_plain;h=f9130dd792cd1f6d021984a7b58cb5cedffdda07;p=pazpar2-moved-to-github.git

Pager looks a little bit nicer in IE.
---

diff --git a/www/demo/search.js b/www/demo/search.js
index 331a349..9ef3be4 100644
--- a/www/demo/search.js
+++ b/www/demo/search.js
@@ -1,4 +1,4 @@
-/* $Id: search.js,v 1.17 2007-01-10 13:39:41 sondberg Exp $
+/* $Id: search.js,v 1.18 2007-01-11 10:18:38 sondberg Exp $
  * ---------------------------------------------------
  * Javascript container
  */
@@ -163,7 +163,7 @@ function make_pager (hits, offset, max) {
         
         var p = off / max + 1;
         var page_elem = create_element('a', p);
-        var newline_node = document.createTextNode('\n');
+        var newline_node = document.createTextNode(' ');
 
         if ((offset >= off) && (offset < (off + max))) {
             page_elem.className = 'select';