- /*
- At present, we do not have default tags, etc, for the label.
- if (labelfont_ == font_)
- return;
- docstring const labelfontCSS = labelfont_.asCSS();
- if (!labelfontCSS.empty())
- htmldefaultstyle_ +=
- from_ascii(htmllabeltag() + "." + defaultCSSLabelClass() + " {\n") +
- labelfontCSS + from_ascii("\n}\n");
- */