addyosmani/jquery-ui-bootstrap — pull request #47 by Francisc (2012-01-23 14:05:35+00:00)
Title: Fix of fix for wijmo menu

Margin of 1% didn't work well enough in all browsers, probably to do with sub-pixel positioning.
A margin 2% works well.