fixed different font sizes

2005-11-03 10:19:24 +00:00
parent d58e39b5ee
commit cd2bb66a80
3 changed files with 1 additions and 6 deletions
--- a/2
+++ b/2
@@ -6,7 +6,7 @@ $Id$
 $Source$

 2005-11-02 Sebastian Mendel <cybot_tm@users.sourceforge.net>
-    * themes/dakrblue_orange/theme_right.css.php:
+    * themes/dakrblue_orange/theme_right.css.php, css/phpmyadmin.css.php:
      fixed different font sizes
    
 2005-11-02 Michal Čihař  <michal@cihar.com>
--- a/css/phpmyadmin.css.php
+++ b/css/phpmyadmin.css.php
@@ -34,10 +34,6 @@ a img {
    border: 0;
 }

-caption {
-    font-size: <?php echo $font_size; ?>;
-}
-
 #mainheader {
    border: 0.1px solid transparent;
    border-bottom: 0.1em solid gray;
--- a/themes/darkblue_orange/css/theme_right.css.php
+++ b/themes/darkblue_orange/css/theme_right.css.php
@@ -19,7 +19,6 @@ body {
 body * {
    font-family:      Verdana, Arial, Helvetica, sans-serif;
    font-size:        10px;
-    background-color: #ffffff;
 }

 pre, tt, code{