Branch: refs/heads/QA_3_5 Home: https://github.com/phpmyadmin/phpmyadmin Commit: 07f7ba239d44e1e2889c933deb8a8c9f656c0c95 https://github.com/phpmyadmin/phpmyadmin/commit/07f7ba239d44e1e2889c933deb8a... Author: Marc Delisle <marc@infomarc.info> Date: 2012-11-13 (Tue, 13 Nov 2012) Changed paths: M ChangeLog M themes/original/css/theme_right.css.php M themes/pmahomme/css/theme_right.css.php Log Message: ----------- bug #3585695 [CSS] Font size in inline query editor is way too big