/// 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
void locateWord(pos_type & from, pos_type & to,
word_location const loc) const;
///
void locateWord(pos_type & from, pos_type & to,
word_location const loc) const;
///