Key points are not available for this paper at this time.
As Folhas de Estilo em Cascata foram introduzidas pelo W3C como um mecanismo para controlar a aparência de documentos HTML. Neste artigo, demonstramos como as restrições fornecem um formalismo unificador poderoso para entender e especificar declarativamente folhas de estilo para documentos web. Com restrições, podemos especificar de forma natural e declarativa comportamentos complexos, como herança de propriedades e cascata de regras de estilo conflitantes. Apresentamos uma descrição detalhada de um modelo de folha de estilo baseado em restrições, CCSS, que é compatível com praticamente toda a especificação CSS 2.0. Ele permite uma especificação mais flexível de layout e também permite que o designer forneça múltiplos layouts que atendam melhor aos desejos do usuário e às restrições ambientais. Também descrevemos uma extensão protótipo do navegador Amaya que demonstra a viabilidade do CCSS.
Badros et al. (Sun,) estudaram esta questão.