The border should not overflow the border box. On devices with device pixel ratio 1, there should be a one pixel wide line above.