Re: CSS bug— if I use border-width instead, it works fine. What gives?