docstring trmarg = from_utf8(tclass.rightmargin());
docstring lrmarg = from_utf8(par_->layout()->rightmargin);
frontend::FontMetrics const & fm = theFontMetrics(params.getFont());
docstring trmarg = from_utf8(tclass.rightmargin());
docstring lrmarg = from_utf8(par_->layout()->rightmargin);
frontend::FontMetrics const & fm = theFontMetrics(params.getFont());