Applied ReduceMenuFontSize.patch, issue #297