summaryrefslogtreecommitdiff
path: root/lib
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
commit55e2daf95e87a74aa62c9ffb4dd5bac2f00ff98c (patch)
treedae8ae7264606c1efe69e82da4e064a370d70f13 /lib
parentb48ce374b66b0bf243aa54aca91b8de3cba4cfc9 (diff)
Add <dl> <dt> <dd> tags
Diffstat (limited to 'lib')
-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 *)