#56 z-index values should be integers

[Chetan Kothari]

according to the specs, the value of z-index should be integer rather than float.

a small test case

        String css = "p {z-index: 10;}";
        StyleSheet styleSheet = CSSFactory.parse(css);
        System.out.println(styleSheet);

[Anonymous]

Update:

The type of the Term is TermInteger but when we call toString() method we get floating point value.

[Radek Burget]

I have rewritten the toString() method, it should be fixed in master now.

[Chetan Kothari]

Thanks for the fix @Radek. The test case passes.

[Radek Burget]

Closed in 1.19