From f9130dd792cd1f6d021984a7b58cb5cedffdda07 Mon Sep 17 00:00:00 2001 From: "Anders S. Mortensen" Date: Thu, 11 Jan 2007 10:18:38 +0000 Subject: [PATCH] Pager looks a little bit nicer in IE. --- 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 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'; -- 1.7.10.4