Mercurial > urweb
diff lib/ur/basis.urs @ 1292:a671c986f517
Support multiple CSS classes for a single tag
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 05 Sep 2010 12:50:06 -0400 |
parents | be6e2cd8d9a9 |
children | acabf3935060 |
line wrap: on
line diff
--- a/lib/ur/basis.urs Sat Sep 04 14:12:02 2010 -0400 +++ b/lib/ur/basis.urs Sun Sep 05 12:50:06 2010 -0400 @@ -563,6 +563,9 @@ (** XML *) type css_class +val classes : css_class -> css_class -> css_class +(* The equivalent of writing one class after the other, separated by a space, in + * an HTML 'class' attribute *) con tag :: {Type} -> {Unit} -> {Unit} -> {Type} -> {Type} -> Type