From 04ff15226a5bc356bbee08160c1b49dcae519b5c Mon Sep 17 00:00:00 2001
From: "Anders S. Mortensen" <sondberg@indexdata.dk>
Date: Fri, 5 Jan 2007 13:53:33 +0000
Subject: [PATCH] Better compliance with IE.

---
 www/demo/page_segments.phpi |   10 +++++-----
 www/demo/search.js          |    4 ++--
 2 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/www/demo/page_segments.phpi b/www/demo/page_segments.phpi
index f6005b1..cfc5487 100644
--- a/www/demo/page_segments.phpi
+++ b/www/demo/page_segments.phpi
@@ -1,6 +1,6 @@
 <?php
 
-/* $Id: page_segments.phpi,v 1.6 2007-01-05 13:31:10 sondberg Exp $
+/* $Id: page_segments.phpi,v 1.7 2007-01-05 13:53:33 sondberg Exp $
  * ---------------------------------------------------
  * Page segments 
  */
@@ -49,15 +49,15 @@ function insert_header () {
           <br />
           <a id="facet_subject" href="#" class="selected"
              onclick="toggle_facet(this)">Subject</a>
-          <div id="facet_subject_terms" class="facet"
-               style="display: none;">None</div>
+          <span id="facet_subject_terms" class="facet"
+               style="display: none;">None</span>
           
           <br />
 
           <a id="facet_author" href="#" class="selected"
              onclick="toggle_facet(this)">Author</a>
-          <div id="facet_author_terms" class="facet"
-               style="display: none;">None</div>
+          <span id="facet_author_terms" class="facet"
+               style="display: none;">None</span>
           
         </div>
         <div class="content" id="body">
diff --git a/www/demo/search.js b/www/demo/search.js
index 633b10b..d871381 100644
--- a/www/demo/search.js
+++ b/www/demo/search.js
@@ -1,4 +1,4 @@
-/* $Id: search.js,v 1.4 2007-01-05 13:45:35 sondberg Exp $
+/* $Id: search.js,v 1.5 2007-01-05 13:53:33 sondberg Exp $
  * ---------------------------------------------------
  * Javascript container
  */
@@ -488,7 +488,7 @@ function toggle_facet (obj) {
 
     if (obj.className == 'selected') {
         obj.className = 'unselected';
-        container.style.display = 'block';
+        container.style.display = 'inline';
     } else {
         obj.className = 'selected';
         container.style.display = 'none';
-- 
1.7.10.4