From 6f1551d31cc509cbccb5ef7033f8cc07692eb0c9 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 18 Jul 2009 12:28:25 -0400
Subject: Goodbye <font>; hello <h5> and <h6>

---
 lib/ur/basis.urs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs
index d0a8af06..c4520ae7 100644
--- a/lib/ur/basis.urs
+++ b/lib/ur/basis.urs
@@ -569,12 +569,13 @@ val p : bodyTag boxEvents
 val b : bodyTag boxEvents
 val i : bodyTag boxEvents
 val tt : bodyTag boxEvents
-val font : bodyTag ([Size = int, Face = string] ++ boxEvents)
 
 val h1 : bodyTag boxEvents
 val h2 : bodyTag boxEvents
 val h3 : bodyTag boxEvents
 val h4 : bodyTag boxEvents
+val h5 : bodyTag boxEvents
+val h6 : bodyTag boxEvents
 
 val li : bodyTag boxEvents
 val ol : bodyTag boxEvents
-- 
cgit v1.2.3