Cascading Style Sheets have been introduced by the W3C as a mechanism for controlling the appearance of HTML documents. In this paper, we demonstrate how constraints provide a powerful unifying formalism for declaratively understanding and specifying style sheets for web documents. With constraints we can naturally and declaratively specify complex behavior such as inheritance of properties and cascading of conflicting style rules. We give a detailed description of a constraint-based style sheet model, CCSS, which is compatible with virtually all of the CSS 2.0 specification. It allows more flexible specification of layout, and also allows the designer to provide multiple layouts that better meet the desires of the user and environmental restrictions. We also describe a prototype extension of the Amaya browser that demonstrates the feasibility of CCSS.

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	G. Badros and A. Borning. The Cassowary linear arithmetic constraint solving algorithm: Interface and implementation. Technical Report UW-CSE-98-06-04, University of Washington, Seattle, Washington, June 1998.
	2	G. Badros and M. Stachowiak. Scwm--The Scheme Constraints Window Manager. Web page, 1997-1999. http ://scwm.mit.edu/.
	3	Alan Borning , Bjorn Freeman-Benson , Molly Wilson, Constraint hierarchies, Lisp and Symbolic Computation, v.5 n.3, p.223-270, Sept. 1992  [doi>10.1007/BF01807506]
	4	Alan Borning , Kim Marriott , Peter Stuckey , Yi Xiao, Solving linear arithmetic constraints for user interface applications, Proceedings of the 10th annual ACM symposium on User interface software and technology, p.87-96, October 14-17, 1997, Banff, Alberta, Canada  [doi>10.1145/263407.263518]
	5	Alan Borning , Richard Lin , Kim Marriott, Constraints for the web, Proceedings of the fifth ACM international conference on Multimedia, p.173-182, November 09-13, 1997, Seattle, Washington, United States  [doi>10.1145/266180.266361]
	6	B. Bos, H. Lie, C. Lilley, and I. Jacobs. Cascading style sheets, level 2. W3C Working Draft, January 1998. http://www, w3.org/TR/WD-css2/.
	7	B. Bos, D. Raggett, and H. Lie. Frame-based layout via style sheets. W3C Working Draft. http://www, w3.org/ TR/WD-layout.
	8	W3 Consortium. Amaya web browser software. Web page, October 1998. http://www, w3.org/Amaya.
	9	W3 Consortium. HTML 4.0 specification. Technical report, W3 Consortium, 1998. http://www, w3.org/TR/ REC-html40.
	10	S. Furman and S. Isaacs. Positioning HTML elements with cascading style sheets. W3C Working Draft. http://www, w 3. org/TR/WD-po sitioning.
	11	Mikako Harada , Andrew Witkin , David Baraff, Interactive physically-based manipulation of discrete/continuous models, Proceedings of the 22nd annual conference on Computer graphics and interactive techniques, p.199-208, September 1995  [doi>10.1145/218380.218443]
	12	R. Lin, K. Marriott, and P. Stuckey. Flexible font-size specification in Web documents. In Proceedings of the 22 Australasian Computer Science Conference, Auckland, New Zealand, January 1999. Springer-Verlag.
	13	P. Marden, Jr. and E. Munson. PSL: An alternate approach to style sheet languages for the world wide web. Journal of Universal Computer Science, 4(10), 1998. http ://www. c s. uwm. edu/- multimedia.
	14	K. Marriott and P. Stuckey. Programming with Constraints: An Introduction. The MIT Press, 1998.
	15	Brad A. Myers , Dario A. Giuse , Roger B. Dannenberg , David S. Kosbie , Edward Pervin , Andrew Mickish , Brad Vander Zanden , Philippe Marchal, Garnet: Comprehensive Support for Graphical, Highly Interactive User Interfaces, Computer, v.23 n.11, p.71-85, November 1990  [doi>10.1109/2.60882 ]
	16	Brad A. Myers , Richard G. McDaniel , Robert C. Miller , Alan S. Ferrency , Andrew Faulring , Bruce D. Kyle , Andrew Mickish , Alex Klimovitski , Patrick Doane, The Amulet Environment: New Models for Effective User Interface Software Development, IEEE Transactions on Software Engineering, v.23 n.6, p.347-365, June 1997  [doi>10.1109/32.601073 ]
	17	I. Sutherland. Sketchpad: A man-machine graphical communication system. In Proceedings of the Spring Joint Computer Conference, pages 329-346. IFIPS, 1963.
	18	Christopher J. van Wyk, A High-Level Language for Specifying Pictures, ACM Transactions on Graphics (TOG), v.1 n.2, p.163-182, April 1982  [doi>10.1145/357299.357303]

• Augmenting shared personal calendars Proceedings of the 15th annual ACM symposium on User interface software and technology
  Joe Tullio ,  Jeremy Goecks ,  Elizabeth D. Mynatt ,  David H. Nguyen
  
  
• Constructing reality Proceedings of the 11th annual international conference on Systems documentation
  Douglas A. Powell ,  Norman R. Ball ,  Mansel W. Griffiths
  
  
• Polymer simulation on the hypercube Proceedings of the third conference on Hypercube concurrent computers and applications
  H-Q. Ding
  
  
• Data structures for quadtree approximation and compression Communications of the ACM   28, 9
  Hanan Samet
  
  
• A hierarchical single-key-lock access control using the Chinese remainder theorem Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
  Kim S. Lee ,  Huizhu Lu ,  D. D. Fisher