Takes top border width in account (cont #2874)