comparison lib/ur/basis.urs @ 2014:fee1f660139c

Added HTML5 Semantic Tags
author David Snider <david@davidsnider.net>
date Sat, 10 May 2014 20:38:13 -0400
parents 93ff76058825
children 2da693675de9
comparison
equal deleted inserted replaced
2013:77cc9169d6e0 2014:fee1f660139c
871 871
872 val hr : bodyTag boxAttrs 872 val hr : bodyTag boxAttrs
873 873
874 val pre : bodyTag boxAttrs 874 val pre : bodyTag boxAttrs
875 875
876 (** sections **)
877 val section : bodyTag boxAttrs
878 val article : bodyTag boxAttrs
879 val nav : bodyTag boxAttrs
880 val aside : bodyTag boxAttrs
881 val footer : bodyTag boxAttrs
882 val header : bodyTag boxAttrs
883 val main : bodyTag boxAttrs
884
885 (** forms **)
886 val meter : bodyTag boxAttrs
887 val progress : bodyTag boxAttrs
888 val output : bodyTag boxAttrs
889 val keygen : bodyTag boxAttrs
890 val datalist : bodyTag boxAttrs
891
892 (** Interactive Elements **)
893 val details : bodyTag boxAttrs
894 val dialog : bodyTag boxAttrs
895 val menuitem : bodyTag boxAttrs
896
897 (** Grouping Content **)
898 val figure : bodyTag boxAttrs
899 val figcaption : bodyTag boxAttrs
900
901 (** Text Level Semantics **)
902 val data : bodyTag boxAttrs
903 val mark : bodyTag boxAttrs
904 val rp : bodyTag boxAttrs
905 val rt : bodyTag boxAttrs
906 val ruby : bodyTag boxAttrs
907 val summary : bodyTag boxAttrs
908 val time : bodyTag boxAttrs
909 val wbr : bodyTag boxAttrs
910 val bdi : bodyTag boxAttrs
911
876 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs) 912 val a : bodyTag ([Link = transaction page, Href = url, Target = string, Rel = string] ++ boxAttrs)
877 913
878 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int, 914 val img : bodyTag ([Alt = string, Src = url, Width = int, Height = int,
879 Onabort = transaction unit, Onerror = transaction unit, 915 Onabort = transaction unit, Onerror = transaction unit,
880 Onload = transaction unit] ++ boxAttrs) 916 Onload = transaction unit] ++ boxAttrs)