Hacker News new | ask | show | jobs
by shonn 3825 days ago
Different styles have different window border widths. This aggravated me until I found out.

Settings->Appearance->Style.