Somewhere, I found a modification to move those control buttons to the
upper-right corner of each window, which I did. But I also use corner gestures,
if that's what you call them, to control the various windows. The window control
buttons are so small, though, that when I try to hit them, as often as not I
accidentally activate the corner gesture feature, or if not that, the control
dock. Is there some way to make those control buttons larger?