1. If we keep the embedding ability (see #9) then the wrapping `<div class='odoc-doc'>` should be replaced by an `<article class='odoc'>` ([semantics](https://www.w3.org/TR/html5/sections.html#the-article-element)). 2. The introductory `<div class=intro>` should by simply be replaced by a classless `<header>` tag which can be used for [introductory contents](https://www.w3.org/TR/html5/sections.html#the-header-element). 3. After the `header` tag there should be no enclosing `div` for the literate text and definitions, simply add them sequentially after the `header` tag.
