From 07f7ba239d44e1e2889c933deb8a8c9f656c0c95 Mon Sep 17 00:00:00 2001 From: Marc Delisle Date: Tue, 13 Nov 2012 12:52:02 -0500 Subject: [PATCH] bug #3585695 [CSS] Font size in inline query editor is way too big --- ChangeLog | 1 + themes/original/css/theme_right.css.php | 2 +- themes/pmahomme/css/theme_right.css.php | 2 +- 3 files changed, 3 insertions(+), 2 deletions(-) diff --git a/ChangeLog b/ChangeLog index cc1748129e..db9674736b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -5,6 +5,7 @@ phpMyAdmin - ChangeLog - bug #3563824 [export] Support Apache's mod_deflate - bug #3585523 [interface] Inline query editing broken after row update - bug #3586389 [setup] Cannot switch language in /setup +- bug #3585695 [CSS] Font size in inline query editor is way too big 3.5.4.0 (not yet released) - bug #3570212 [edit] uuid_short() is a no-arguments function diff --git a/themes/original/css/theme_right.css.php b/themes/original/css/theme_right.css.php index 2cd97d1d73..43dd9ca040 100644 --- a/themes/original/css/theme_right.css.php +++ b/themes/original/css/theme_right.css.php @@ -2203,7 +2203,7 @@ fieldset .disabled-field td { } .CodeMirror { - font-size: 140%; + font-size: 100%; font-family: monospace; background: white; border: 1px solid black; diff --git a/themes/pmahomme/css/theme_right.css.php b/themes/pmahomme/css/theme_right.css.php index 1b5f0c7c6f..e30f6872de 100644 --- a/themes/pmahomme/css/theme_right.css.php +++ b/themes/pmahomme/css/theme_right.css.php @@ -2622,7 +2622,7 @@ fieldset .disabled-field td { } .CodeMirror { - font-size: 140%; + font-size: 100%; font-family: monospace; background: white; border: 1px solid black;