#745808 by Robbert: use number_format() in flexible width calculations to ensure locale settings cannot bork generated CSS.