ON THE ANALYSIS OF CASCADING STYLE SHEETS

Abstract

Because there aren't many strict guidelines for creating and updating cascading style sheets (CSS), web developers have trouble with it. Current approaches depend on validators and runtime debuggers to verify behavior and syntactic rules on individual document instances. Nevertheless, CSS style sheets are usually created according to a predetermined schema, and while debugging tools aid in problem reduction, they do not provide property proofing throughout the collection of documents. A new method for CSS style sheet analysis is presented, using concepts from compile-time verification and logic. The tool can statically identify faults and verify features of document sets, including style information coverage, in the presence or lack of schema information. It is built on current developments in tree logics. You can utilize this tool.