+ /// Tag for HTML output, e.g., h2.
+ std::string htmltag_;
+ /// Additional attributes for inclusion with the start tag,
+ /// e.g.: class='section'.
+ std::string htmlattr_;
+ /// Tag for individual paragraphs in an environment. In lists, this
+ /// would be something like "li". But it also needs to be set for
+ /// quotation, e.g., since the paragraphs in a quote need to be
+ /// in "p" tags.
+ std::string htmlitem_;
+ /// Attributes for htmlitem_
+ std::string htmlitemattr_;
+ /// Tag for labels, of whatever sort. One use for this is in setting
+ /// descriptions, in which case it would be: dt. Another use is to
+ /// customize the display of, say, the auto-generated label for
+ /// sections (in that case, it might be: span).
+ std::string htmllabel_;
+ /// Attributes for the label.
+ std::string htmllabelattr_;
+ /// Whether to put the label before the item, or within the item.
+ /// I.e., do we have (true):
+ /// <label>...</label><item>...</item>
+ /// or instead (false):
+ /// <item><label>...</label>...</item>
+ /// The latter is the default.
+ bool htmllabelfirst_;
+ /// CSS information needed by this layout.
+ docstring htmlstyle_;
+ /// Any other info for the HTML header.
+ docstring htmlpreamble_;
+ /// This is the `category' for this layout. The following are
+ /// recommended basic categories: FrontMatter, BackMatter, MainText,
+ /// Section, Starred, List, Theorem.
+ docstring category_;