}
/* ----------------- ----------------- */
public static String getDDocHTMLRender(INamedElement defElement) {
Ddoc ddoc = defElement.resolveDDoc();
String sig = TextUI.getLabelForHoverSignature(defElement);
sig = convertoToHTML(sig);
String str;
str = "<b>" +sig+ "</b>"