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