Thanks for pointing that out. We fixed the CSS issue, and we'll get it out to the production servers later today.