docstring preamble() const { return preamble_; }
///
docstring counter() const { return counter_; }
+ ///
+ docstring refprefix() const { return refprefix_; }
/// The tag enclosing all the material in this inset. Default is "span".
std::string const & htmltag() const;
/// Additional attributes for inclusion with the start tag. Default (if
///
docstring preamble_;
///
+ docstring refprefix_;
+ ///
mutable std::string htmltag_;
///
mutable std::string htmlattr_;