@vstepaniuk I don't know much GTK+ CSS and it's probably specific to the 
version of GTK+ 3 since CSS is unstable and changed at many different versions. 
A search [like this](https://www.google.ca/search?q=gtk+css+reduce+padding) 
seems to have a fair bit of info though.



-- 
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub:
https://github.com/geany/geany/issues/1825#issuecomment-415437248

Reply via email to