[issue3154] "Quick search" box renders too long on FireFox 3

[Miki Tebeka]

Miki Tebeka <miki.tebeka at gmail.com> added the comment:

Changing the default font in FF to 14 points seems to fix the problem
(my default is 22).

_______________________________________
Python tracker <report at bugs.python.org>
<http://bugs.python.org/issue3154>
_______________________________________