Good style for CSS decimal values