Hacker News new | ask | show | jobs
by eccp 4947 days ago
I just replied to this on Ask Ubuntu (including screenshots). You can reduce the padding a bit with a .gtkrc file and/or custom GTK themes. This and some font-tweaking on the same file should be good enough.