summaryrefslogtreecommitdiff
path: root/lib/ur
diff options
context:
space:
mode:
authorGravatar Sergey Mironov <grrwlf@gmail.com>2013-10-07 14:08:53 +0400
committerGravatar Sergey Mironov <grrwlf@gmail.com>2013-10-07 14:08:53 +0400
commitaca2cc2ad63fac78d80f9f0a367edd81261be25e (patch)
treedae8ae7264606c1efe69e82da4e064a370d70f13 /lib/ur
parent942ccb5531870b3068f762c5db6aa6d5ba0cfa7a (diff)
Add <dl> <dt> <dd> tags
Diffstat (limited to 'lib/ur')
-rw-r--r--lib/ur/basis.urs13
1 files changed, 13 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index 3dba3e3d..4931c97a 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -976,6 +976,19 @@ val td : other ::: {Unit} -> [other ~ [Body, Tr]] => unit
-> tag ([Colspan = int, Rowspan = int] ++ tableAttrs)
([Tr] ++ other) ([Body] ++ other) [] []
+(** Definition lists *)
+
+val dl : other ::: {Unit} -> [other ~ [Body,Dl]]
+ => unit
+ -> tag [] ([Body] ++ other) ([Dl] ++ other) [] []
+
+val dt : other ::: {Unit} -> [other ~ [Body,Dl]]
+ => unit
+ -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
+
+val dd : other ::: {Unit} -> [other ~ [Body,Dl]]
+ => unit
+ -> tag [] ([Dl] ++ other) ([Body] ++ other) [] []
(** Aborting *)