Удивительно, но этот общий вопрос, по-видимому, никогда раньше не публиковался здесь - я тщетно искал дубликат.
Gnome не предоставляет пользователям детальную настройку внешнего вида. Он даже не позволяет изменить тему — для этого вам нужно установить Gnome Tweaks.
Самый простой способ изменить высоту строки заголовка — перейти на соответствующую тему. Однако это подход «все или ничего». Вы должны взять всю тему как есть.
Вам, наверное, лучше с какое-то ручное кодирование. Создать файл ~/.config/gtk-3.0/gtk.css
и введите или адаптируйте следующий код css:
запись в шапке,
кнопка прокрутки в заголовке,
кнопка заголовка,
разделитель заголовка {
поле сверху: 0px; /* то же, что и отступы в заголовке для более точных пропорций */
нижняя граница: 0px;
}
заголовок {
минимальная высота: 24px;
отступ слева: 2px; /* то же, что и детские вертикальные поля, только пропорции лучше */
отступ справа: 2px;
поле: 0px; /* то же, что и отступы в заголовке для более точных пропорций */
отступ: 0px;
}
Выйдите из системы, а затем снова войдите, чтобы изменения вступили в силу (или сбросьте Gnome Shell с помощью Альт+F2, р когда на Xorg).
Foliate Ebook reader перед изменением gtk.css
Foliate Ebook reader после изменения gtk.css