# HG changeset patch # User Adam Chlipala # Date 1336831665 14400 # Node ID c1f06342c81f5ce1410a9d35b51e6cb360c8b2af # Parent 93140c5cc972c49d3a0540e3c2e8161cd65ffaeb Add margin example diff -r 93140c5cc972 -r c1f06342c81f examples/css.ur --- a/examples/css.ur Sat May 12 10:03:44 2012 -0400 +++ b/examples/css.ur Sat May 12 10:07:45 2012 -0400 @@ -1,7 +1,10 @@ +val param = 5 + fun main () : transaction page = return

Bold

Image

Both

Margin