StartTag const & tag = pending_tags_.front();
// tabs?
os_ << tag.asTag();
- cr();
tag_stack_.push_back(tag);
pending_tags_.pop_front();
}
if (etag.tag_ == tag_stack_.back().tag_) {
// output it...
os_ << etag.asEndTag();
- cr();
// ...and forget about it
tag_stack_.pop_back();
return *this;
TagStack fontstack;
while (curtag.tag_ != etag.tag_) {
os_ << curtag.asEndTag();
- cr();
fontstack.push_back(curtag);
tag_stack_.pop_back();
curtag = tag_stack_.back();
}
// now close our tag...
os_ << etag.asEndTag();
- cr();
tag_stack_.pop_back();
// ...and restore the other tags.
closeItemTag(xs, *lastlay);
lastlay = 0;
}
- bool const labelfirst = style.htmllabelfirst();
if (isNormalEnv(style)) {
// in this case, we print the label only for the first
// paragraph (as in a theorem).
xs.cr();
}
} else { // some kind of list
+ bool const labelfirst = style.htmllabelfirst();
if (!labelfirst)
openItemTag(xs, style);
if (style.labeltype == LABEL_MANUAL