diff --git a/ChangeLog b/ChangeLog
index 666d252e3..163c5a252 100755
--- a/ChangeLog
+++ b/ChangeLog
@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
 $Id$
 $Source$
 
+2005-11-02 Sebastian Mendel <cybot_tm@users.sourceforge.net>
+    * themes/dakrblue_orange/theme_right.css.php:
+      fixed different font sizes
+    
 2005-11-02 Michal Čihař  <michal@cihar.com>
     * config.default.php: This is not a configuration file.
     * config.default.php, Documentation.html, libraries/common.lib.php: Use
diff --git a/themes/darkblue_orange/css/theme_right.css.php b/themes/darkblue_orange/css/theme_right.css.php
index cb42dcbde..dd6f14f35 100644
--- a/themes/darkblue_orange/css/theme_right.css.php
+++ b/themes/darkblue_orange/css/theme_right.css.php
@@ -2,7 +2,7 @@
  * RIGHT FRAME
  ************************************************************************************/
 /* Always enabled stylesheets (right frame) */
-body{
+body {
     font-family:      Verdana, Arial, Helvetica, sans-serif;
     font-size:        10px;
     color:            #000000;
@@ -15,6 +15,13 @@ body{
     margin: 5px;
 }
 
+/* gecko FIX, font size is not correctly assigned to all child elements */
+body * {
+    font-family:      Verdana, Arial, Helvetica, sans-serif;
+    font-size:        10px;
+    background-color: #ffffff;
+}
+
 pre, tt, code{
     font-size:        11px;
 }