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

Make server selection in left frame same size as on other places.

Browse Source
This commit is contained in:
Michal Čihař
2003-11-24 13:05:34 +00:00
parent a66b1cc6b3
commit 214aa81ee9
2 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
ChangeLog
View File

@@ -8,6 +8,8 @@ $Source$
2003-11-24 Michal Cihar <nijel@users.sourceforge.net>
* libraries/common.lib.php: Use preg again, it just needs a bit more
escaping of \ (once for PHP and once for PCRE).
* css/phpmyadmin.css.php: Make server selection in left frame same size as
on other places.
2003-11-23 Alexander M. Turek <rabus@users.sourceforge.net>
* server_privileges.php3: while (list() = each()) is not always as bad as

4
css/phpmyadmin.css.php
View File

@@ -31,8 +31,6 @@ if ($js_frame == 'left') {
?>
/* No layer effects neccessary */
div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
input {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>}
select {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; background-color: #ffffff; color: #000000}
.heada {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; color: #000000}
.parent {font-family: <?php echo $left_font_family; ?>; color: #000000; text-decoration: none}
.item, .item:active, .item:hover, .tblItem, .tblItem:active {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_smaller; ?>; color: #333399; text-decoration: none}
@@ -97,6 +95,8 @@ div {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_
?>
/* Always enabled stylesheets (left frame) */
body {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>}
input {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>}
select {font-family: <?php echo $left_font_family; ?>; font-size: <?php echo $font_size; ?>; background-color: #ffffff; color: #000000}
<?php
} elseif ($js_frame == 'print') {
/************************************************************************************