see hdmi's post and his screenshot show exactly what I meant, the 3 buttons top right of any window. too thick, taking up too much vertical spacing, and wish to reduce space in between them also make the sizes smaller similar to that of windows 7, 8 and 8.1
I played around in the tweaker but...