Для Ubuntu 17.04 с GNOME Terminal 3.20.2 параметры немного отличаются. В меню перейдите в меню «Редактировать -> Настройки профиля -> Общие». В Text Appearance section выберите опцию Custom font, щелкните выбранный шрифт, а затем уменьшите размер шрифта в нижней части нового окна.