`theme.menu_border_width` is set, which is supposed to configure the width of the lines that separate menu items, does not work.