Как сделать верхние панели (панели заголовков) окон тоньше в Ubuntu

ИМХО топ слишком толстый и бесполезный. В идеале мне нравится находить настройку либо в dconf, либо редактировать файл, определяющий толщину верхней полосы.

Установил твик но его там не было и я попробовал

В настоящее время я использую Wayland, но я открыт для любого другого полугражданского g-менеджера.