From 0f7124b362fd439f18976fa2d55a0382172f227b Mon Sep 17 00:00:00 2001
From: Moritz Bunkus <m.bunkus@linet-services.de>
Date: Fri, 25 Jul 2008 14:34:13 +0000
Subject: [PATCH] =?utf8?q?DHTML-Men=C3=BC:=20Immer=20die=20Breite=20der=20?=
 =?utf8?q?<ul>=20vorgeben.?=
MIME-Version: 1.0
Content-Type: text/plain; charset=utf8
Content-Transfer-Encoding: 8bit

---
 bin/mozilla/menunew.pl | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/bin/mozilla/menunew.pl b/bin/mozilla/menunew.pl
index 25c499f36..afce1cf7c 100644
--- a/bin/mozilla/menunew.pl
+++ b/bin/mozilla/menunew.pl
@@ -45,8 +45,8 @@ sub display {
   $form->header();
 
 #   $form->{force_ul_width} = $ENV{HTTP_USER_AGENT} =~ m/MSIE\s+6\./;
-  $form->{force_ul_width} = $ENV{HTTP_USER_AGENT} !~ m/Opera/;
-#   $form->{force_ul_width} = 1;
+#   $form->{force_ul_width} = $ENV{HTTP_USER_AGENT} !~ m/Opera/;
+  $form->{force_ul_width} = 1;
   $form->{date}           = clock_line();
   $form->{menu_items}     = acc_menu();
 
-- 
2.20.1