if (isNormalEnv(style)) {
// in this case, we print the label only for the first
// paragraph (as in a theorem).
openItemTag(xs, style);
if (par == pbegin && style.htmllabeltag() != "NONE") {
docstring const lbl =
if (isNormalEnv(style)) {
// in this case, we print the label only for the first
// paragraph (as in a theorem).
openItemTag(xs, style);
if (par == pbegin && style.htmllabeltag() != "NONE") {
docstring const lbl =