Allow mixed headings & other content in <summary>

sideshowbarker · sideshowbarker · commit 224d49b95e1e · 2021-02-25T12:27:11.000+09:00
Fixes #1092
diff --git a/schema/html5/applications.rnc b/schema/html5/applications.rnc
@@ -217,11 +217,11 @@ datatypes w = "http://whattf.org/datatype-draft"
 		)
 	summary.inner =
 		(	common.inner.phrasing
-		|	h1.elem
-		|	h2.elem
-		|	h3.elem
-		|	h4.elem
-		|	h5.elem
-		|	h6.elem
-		|	hgroup.elem
+		&	h1.elem?
+		&	h2.elem?
+		&	h3.elem?
+		&	h4.elem?
+		&	h5.elem?
+		&	h6.elem?
+		&	hgroup.elem?
 		)
