Как их ужать до вменяемого размера? В интернетах можно найти пару рецептов(подкрутить gtk.css или уменьшить шрифты в gnome-shell.css), но все они не работают.