Add <dl> <dt> <dd> tags

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 *)