diff options
author | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 21:59:41 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2015-12-22 22:18:22 -0800 |
commit | fb64514e6728779165ba1d0ff06b68badaa3742c (patch) | |
tree | 8919a24130125a9ef955ea73aea5b77e340b4252 /CommonMark.dtd | |
parent | 1c7d454909b711d6d34c6e3caa61a5535f89d18f (diff) |
Rename 'header' -> 'heading'.
This avoids a confusion that might arise now that HTML5 has
a 'header' element, distinct from the 'headings' h1, h2, ...
Our headings correspond to HTML5 headings, not HTML5 headers.
The terminology of 'headings' is more natural, too.
The only thing going for 'header' is that John Gruber used
it in his original Markdown syntax description.
See
http://talk.commonmark.org/t/naming-of-h1-6-should-be-headings-not-headers-per-w3c/1871
Diffstat (limited to 'CommonMark.dtd')
-rw-r--r-- | CommonMark.dtd | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/CommonMark.dtd b/CommonMark.dtd index c006eee..9e8aeda 100644 --- a/CommonMark.dtd +++ b/CommonMark.dtd @@ -1,7 +1,7 @@ <!-- DTD for CommonMark xml export format --> <!ENTITY % block - 'block_quote|list|code_block|html|paragraph|header|hrule'> + 'block_quote|list|code_block|html|paragraph|heading|hrule'> <!ENTITY % inline 'text|softbreak|linebreak|code|inline_html|emph|strong|link|image'> @@ -31,8 +31,8 @@ <!ELEMENT paragraph (%inline;)*> -<!ELEMENT header (%inline;)*> -<!ATTLIST header +<!ELEMENT heading (%inline;)*> +<!ATTLIST heading level (1|2|3|4|5|6) #REQUIRED> <!ELEMENT hrule EMPTY> |