Question: Why is the border width not the same as what I set in html?