CSS numbers are different from HTML numbers. :/