// DD = definition description
Element classdd = htmldoc.createElement(HTMLUtil.HTML_DD_TAG);
maindl.appendChild(classdd);
{
Reference ref = pair.first;
// Prefix
if(ref.prefix().length() > 0) {
Element prediv = htmldoc.createElement(HTMLUtil.HTML_DIV_TAG);
prediv.setTextContent(ref.prefix());
classdd.appendChild(prediv);
}
// Authors
Element authorsdiv = htmldoc.createElement(HTMLUtil.HTML_DIV_TAG);
authorsdiv.setTextContent(ref.authors());
classdd.appendChild(authorsdiv);
// Title
Element titlediv = htmldoc.createElement(HTMLUtil.HTML_DIV_TAG);
Element titleb = htmldoc.createElement(HTMLUtil.HTML_B_TAG);
titleb.setTextContent(ref.title());
titlediv.appendChild(titleb);
classdd.appendChild(titlediv);
// Booktitle
Element booktitlediv = htmldoc.createElement(HTMLUtil.HTML_DIV_TAG);
booktitlediv.setTextContent("In: " + ref.booktitle());
classdd.appendChild(booktitlediv);
// URL
if(ref.url().length() > 0) {
Element urldiv = htmldoc.createElement(HTMLUtil.HTML_DIV_TAG);
Element urla = htmldoc.createElement(HTMLUtil.HTML_A_TAG);
urla.setAttribute(HTMLUtil.HTML_HREF_ATTRIBUTE, ref.url());
urla.setTextContent(ref.url());
urldiv.appendChild(urla);
classdd.appendChild(urldiv);
}
}
}