bug 1009661

This commit is contained in:
Marc Delisle
2004-08-16 11:07:28 +00:00
parent 82775fdfa7
commit db212ce498
3 changed files with 6 additions and 2 deletions

View File

@@ -5,6 +5,10 @@ phpMyAdmin - Changelog
$Id$ $Id$
$Source$ $Source$
2004-08-16 Marc Delisle <lem9@users.sourceforge.net>
* all .../theme_right_css.php: bug #1009661, typo,
thanks to Ryan Schmidt (ryandesign)
2004-08-16 Michal Čihař <michal@cihar.com> 2004-08-16 Michal Čihař <michal@cihar.com>
* read_dump.php: Fix handling of comments -- and # (bug #1009494). * read_dump.php: Fix handling of comments -- and # (bug #1009494).

View File

@@ -400,7 +400,7 @@ div.warnhead {
vertical-align: middle; vertical-align: middle;
} }
<?php if (isset($js_isDOM) && $js_isDOM != '0') { ?> <?php if (isset($js_isDOM) && $js_isDOM != '0') { ?>
.serverinfo a:link, .serverinfo a:activ, .serverinfo a:visited { .serverinfo a:link, .serverinfo a:active, .serverinfo a:visited {
font-family: Verdana, Arial, Helvetica, sans-serif; font-family: Verdana, Arial, Helvetica, sans-serif;
font-size: 12px; font-size: 12px;
font-weight: bolder; font-weight: bolder;

View File

@@ -259,7 +259,7 @@ img, input, select, button {
} }
<?php if (isset($js_isDOM) && $js_isDOM != '0') { ?> <?php if (isset($js_isDOM) && $js_isDOM != '0') { ?>
.serverinfo a:link, .serverinfo a:activ, .serverinfo a:visited { .serverinfo a:link, .serverinfo a:active, .serverinfo a:visited {
font-family: <?php echo $right_font_family; ?>; font-family: <?php echo $right_font_family; ?>;
font-size: <?php echo $font_size; ?>; font-size: <?php echo $font_size; ?>;
font-weight: bolder; font-weight: bolder;