Can anyone tell me which font is used for the menu labels here? Thanks!

If that font is the same as this one, then check this thread.