+docstring InsetVSpace::xhtml(XHTMLStream & os, OutputParams const &) const
+{
+ string const len = space_.asHTMLLength();
+ string const attr = "style='height:" + (len.empty() ? "1em" : len) + "'";
+ os << html::StartTag("div", attr, true) << html::EndTag("div");
+ return docstring();
+}
+
+
+string InsetVSpace::contextMenuName() const