Styling fixes, especially for high-DPI displays.