Permalink
Browse files

bug #3585695 [CSS] Font size in inline query editor is way too big

  • Loading branch information...
1 parent 485bcec commit 07f7ba239d44e1e2889c933deb8a8c9f656c0c95 @lem9 lem9 committed Nov 13, 2012
Showing with 3 additions and 2 deletions.
  1. +1 −0 ChangeLog
  2. +1 −1 themes/original/css/theme_right.css.php
  3. +1 −1 themes/pmahomme/css/theme_right.css.php
View
@@ -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
@@ -2203,7 +2203,7 @@
}
.CodeMirror {
- font-size: 140%;
+ font-size: 100%;
font-family: monospace;
background: white;
border: 1px solid black;
@@ -2622,7 +2622,7 @@
}
.CodeMirror {
- font-size: 140%;
+ font-size: 100%;
font-family: monospace;
background: white;
border: 1px solid black;

0 comments on commit 07f7ba2

Please sign in to comment.