/// Set label width string.
void setLabelWidthString(docstring const & s);
/// Actual paragraph alignment used
/// Set label width string.
void setLabelWidthString(docstring const & s);
/// Actual paragraph alignment used
/// The nesting depth of a paragraph
depth_type getDepth() const;
/// The maximal possible depth of a paragraph after this one
/// The nesting depth of a paragraph
depth_type getDepth() const;
/// The maximal possible depth of a paragraph after this one