Brunni (./11):
But looking from here, his horizontal border is only 8 pixels, which negates my assumption.

horizontal border is just 6 pixels but your thoughts are heading in the right direction! ;-)