Character size in menus (text size)

[Kevin]

You would need to edit the gtkrc file for the theme:

Code:

style "gimp-dark-default-style"
{
  # font_name = "Sans 11"

To change the font - uncomment the line by removing the # and change the number to a suitable size.