Minor bug fix for decimal size in css