[Phpmyadmin-git] [phpmyadmin/phpmyadmin] 07f7ba: bug #3585695 [CSS] Font size in inline query edito...

[Marc Delisle]

  Branch: refs/heads/QA_3_5
  Home:   https://github.com/phpmyadmin/phpmyadmin
  Commit: 07f7ba239d44e1e2889c933deb8a8c9f656c0c95
      https://github.com/phpmyadmin/phpmyadmin/commit/07f7ba239d44e1e2889c933deb8a8c9f656c0c95
  Author: Marc Delisle <marc at 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