Stylesheet: increase border radii
As part of the stylesheet revamp it'd be good to increase border radii across the board. What we had in the mockups was 8px on buttons (rather than the current 5px IIRC), and other radii would be bumped accordingly as a result.
Open questions:
- How does it affect scrollbars?