Cascading Style Sheets (CSS)
CSS may be a simple mechanism for adding style (e.g., fonts, colors, spacing) to Web documents. These pages contain information on the way to learn and use CSS and on available software. They also contain news from the CSS working party.Developing and maintaining cascading style sheets (CSS) is a crucial issue for web developers as they suffer from a shortage of rigorous methods. Most existing means believe validators that check syntactic rules, and on runtime debuggers that check the behavior of a CSS sheet on a specific document instance. However, the aim of most style sheets is to be applied to a whole set of documents, usually defined by some schema. to the present end, a CSS sheet is typically written w.r.t. a given schema. While usual debugging tools help to reduce the amount of bugs, they are doing not ultimately allow to prove properties over the entire set of documents to which the design sheet is meant to be applied. We propose a completely unique approach to fill this lack. We introduce ideas borrowed from the fields of logic and compile-time verification for the analysis of CSS style sheets. We present an ingenious tool that supported recent advances in tree logic. The tool is capable of statically detecting a good range of errors (such as empty CSS selectors and semantically equivalent selectors), also as proving properties associated with sets of documents (such as coverage of styling information), within the presence or absence of schema information. This new tool is often utilized in addition to existing runtime debuggers to make sure a better level of quality of CSS style sheets
