--- phpMyAdmin-3.1.2-all-languages/themes/original/css/theme_left.css.php.orig	2009-01-20 06:02:52.000000000 +0100
+++ phpMyAdmin-3.1.2-all-languages/themes/original/css/theme_left.css.php	2009-01-20 06:02:52.000000000 +0100
@@ -57,6 +57,7 @@
 select#select_server,
 select#lightm_db {
     width:              100%;
+    font-size:          80%;
 }
 
 /* buttons in some browsers (eg. Konqueror) are block elements,
--- phpMyAdmin-3.1.2-all-languages/themes/original/css/theme_right.css.php.orig	2009-01-20 06:02:52.000000000 +0100
+++ phpMyAdmin-3.1.2-all-languages/themes/original/css/theme_right.css.php	2009-01-20 06:02:52.000000000 +0100
@@ -37,6 +37,8 @@
 <?php if (! empty($GLOBALS['cfg']['FontFamilyFixed'])) { ?>
 textarea, tt, pre, code {
     font-family:        <?php echo $GLOBALS['cfg']['FontFamilyFixed']; ?>;
+    /* Fix display in konqueror */
+    font-size:          90%;
 }
 <?php } ?>
 h1 {
@@ -138,6 +140,8 @@
 select,
 button {
     vertical-align:     middle;
+    /* Fix display in konqueror */
+    font-size:          80%;
 }