nettika/phpmyadmin
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fixed different font sizes

Browse Source
This commit is contained in:
Sebastian Mendel
2005-11-03 08:50:57 +00:00
parent ab1c21b964
commit d58e39b5ee
2 changed files with 12 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
ChangeLog
View File

@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
$Id$ $Id$
$Source$ $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> 2005-11-02 Michal Čihař <michal@cihar.com>
* config.default.php: This is not a configuration file. * config.default.php: This is not a configuration file.
* config.default.php, Documentation.html, libraries/common.lib.php: Use * config.default.php, Documentation.html, libraries/common.lib.php: Use

7
themes/darkblue_orange/css/theme_right.css.php
View File

@@ -15,6 +15,13 @@ body{
margin: 5px; 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{ pre, tt, code{
font-size: 11px; font-size: 11px;
} }