ipython/ipython — pull request #1867 by mcelrath (2012-06-06 19:42:37+00:00)
Title: Fix 1px margin bouncing of selected menu item.

I missed a case with my last 1px border patch.

jQuery also adds a margin of size -1 to the active menu item, which also causes the selected menu item to bounce around by 1px, but it was only visible if your font is sufficiently large.

Anyway, this fixes the margin of the active menu item to zero, so now the text doesn't shift around, even if you use larger fonts.

To reproduce the original error, zoom your notebook (ctrl-mousewheel, or ctrl-+ in most browsers) and try the menu.