Mercurial > gui
annotate examples/css.ur @ 34:2d195bee1efa
CKeditor wrapper
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 21 Nov 2013 18:19:02 -0500 |
| parents | c1f06342c81f |
| children |
| rev | line source |
|---|---|
| adam@30 | 1 val param = 5 |
| adam@30 | 2 |
| adam@29 | 3 fun main () : transaction page = return <xml><body> |
| adam@29 | 4 <div style={Style.prop1 "font-weight" "bold"}>Bold</div> |
| adam@29 | 5 <div style={Style.prop "background" (Style.valu (bless "http://adam.chlipala.net/web.png") :: Style.valu "no-repeat" :: [])}>Image</div> |
| adam@29 | 6 <div style={Style.props (("font-weight", Style.valu "bold" :: []) |
| adam@29 | 7 :: ("background", Style.valu (bless "http://adam.chlipala.net/web.png") :: Style.valu "no-repeat" :: []) |
| adam@29 | 8 :: [])}>Both</div> |
| adam@30 | 9 <div style={Style.prop1 "margin-left" (show (2.5 * float param) ^ "em")}>Margin</div> |
| adam@29 | 10 </body></xml> |