GTKを使っているアプリケーションはgtkrcファイルでスタイルを指定してあげればある程度変更できるみたい。。。 style "eclipse" { font_name="Sans 9" GtkMenu::vertical-padding = 1 GtkMenuBar::internal_padding = 0 GtkMenuItem::horizontal_padding = …