diff examples/css.ur @ 29:93140c5cc972

Clean up dependencies and examples; add Style module
author Adam Chlipala <adam@chlipala.net>
date Sat, 12 May 2012 10:03:44 -0400
parents
children c1f06342c81f
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/examples/css.ur	Sat May 12 10:03:44 2012 -0400
@@ -0,0 +1,7 @@
+fun main () : transaction page = return <xml><body>
+  <div style={Style.prop1 "font-weight" "bold"}>Bold</div>
+  <div style={Style.prop "background" (Style.valu (bless "http://adam.chlipala.net/web.png") :: Style.valu "no-repeat" :: [])}>Image</div>
+  <div style={Style.props (("font-weight", Style.valu "bold" :: [])
+                               :: ("background", Style.valu (bless "http://adam.chlipala.net/web.png") :: Style.valu "no-repeat" :: [])
+                               :: [])}>Both</div>
+</body></xml>