Comment 44 for bug 838577

I found a small workaround. I went into the universal access menu and selected "Large text". It improved the appearance of the gnome menu, and the improvement persisted even after I turned off large text.