[dev] Small patch to wicked

[Tarjei Huse]

Hi, this might not be the right way to fix the problem but then the but
is noted :)

As you see, the problem is that the rightFloat class somehow either is
missing or does not contain float:right as it should. 

--- menu.inc    2005-06-29 13:13:29.000000000 +0200
+++ menu.inc.orig       2005-06-29 13:12:12.000000000 +0200
@@ -38,7 +38,7 @@
 <form name="wjump" method="get" action="<?php echo
Wicked::url($search_type == 'page' ? '%s' : $search_type) ?>">
 <?php Util::pformInput() ?>
 <div id="menu">
- <span  style="float:right;padding-top:7px" class="rightFloat">
+ <span class="rightFloat">
   <input type="text" size="10" name="<?php echo $search_type !=
'page' ? 'params' : 'page' ?>" />
   <input type="submit" onclick="return jump()" class="button"
value="<?php echo $label ?>" />
  </span>
mail2:/srv/www/htdocs-ssl/horde/wicked/templates # diff -u menu.inc.orig
menu.inc
--- menu.inc.orig       2005-06-29 13:12:12.000000000 +0200
+++ menu.inc    2005-06-29 13:13:29.000000000 +0200
@@ -38,7 +38,7 @@
 <form name="wjump" method="get" action="<?php echo
Wicked::url($search_type == 'page' ? '%s' : $search_type) ?>">
 <?php Util::pformInput() ?>
 <div id="menu">
- <span class="rightFloat">
+ <span  style="float:right;padding-top:7px" class="rightFloat">
   <input type="text" size="10" name="<?php echo $search_type !=
'page' ? 'params' : 'page' ?>" />
   <input type="submit" onclick="return jump()" class="button"
value="<?php echo $label ?>" />
  </span>