Join GitHub today
GitHub is home to over 31 million developers working together to host and review code, manage projects, and build software together.Sign up
Generic formal div element #15
All the current formal elements have specific semantics with associated presentation expectations. It could be useful to have a generic element that acts like a formal block but carries no semantics and no presentation expectations aside from having its title look like a block title.
This could be particularly useful for extensions that want to add formal block elements. The current fallback processing for blocks is that the children of the element are processed in restricted block context, as if the unknown block itself were replaced by its children. This is no good if the block has a title. The core title element can't be reused, because it doesn't make sense in that context. So extensions have to add an extension title element, which is then ignored in restricted block context.
With a formal div element, the fallback behavior could be that the unknown block is processed as if it were a div element, except that child elements are processed in restricted block context. This lets the title get picked up, and would be crucial to letting extension blocks do automatic linking, if we go down that route.