critical bug fix for CSS beautification and massive update for jspretty