diff options
| author |  David Snider <david@davidsnider.net> | 2014-05-10 20:38:13 -0400 |
|---|---|---|
| committer | David Snider <david@davidsnider.net> | 2014-05-10 20:38:13 -0400 |
| commit | 22a15451e97c7c9e25f30cee53a81cb7916119ee (patch) | |
| tree | b68e5b246fb16e7d54259181a295acf1a616d144 /lib | |
| parent | 26e5fbe77deb39a5fc6f03c91dc3da356ab72bb8 (diff) | |
Added HTML5 Semantic Tags
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/ur/basis.urs | 36 |
1 files changed, 36 insertions, 0 deletions
diff --git a/lib/ur/basis.urs b/lib/ur/basis.urs index 4922e0ca..ce864563 100644 --- a/lib/ur/basis.urs +++ b/lib/ur/basis.urs @@ -873,6 +873,42 @@ val hr : bodyTag boxAttrs val pre : bodyTag boxAttrs +(** sections **) +val section : bodyTag boxAttrs +val article : bodyTag boxAttrs +val nav : bodyTag boxAttrs +val aside : bodyTag boxAttrs +val footer : bodyTag boxAttrs +val header : bodyTag boxAttrs +val main : bodyTag boxAttrs + +(** forms **) +val meter : bodyTag boxAttrs +val progress : bodyTag boxAttrs +val output : bodyTag boxAttrs +val keygen : bodyTag boxAttrs +val datalist : bodyTag boxAttrs + +(** Interactive Elements **) +val details : bodyTag boxAttrs +val dialog : bodyTag boxAttrs +val menuitem : bodyTag boxAttrs + +(** Grouping Content **) +val figure : bodyTag boxAttrs +val figcaption : bodyTag boxAttrs + +(** Text Level Semantics **) +val data : bodyTag boxAttrs +val mark : bodyTag boxAttrs +val rp : bodyTag boxAttrs +val rt : bodyTag boxAttrs +val ruby : bodyTag boxAttrs +val summary : bodyTag boxAttrs +val time : bodyTag boxAttrs +val wbr : bodyTag boxAttrs +val bdi : bodyTag boxAttrs + val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs) val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, |