us: Make terminal top bar taller
The buttons on the top don't meet any standards for clickability. Make them a little bigger while keeping other buttons in a clickable size.
The buttons on the top don't meet any standards for clickability. Make them a little bigger while keeping other buttons in a clickable size.