#include "Length.h"
#include "MetricsInfo.h"
#include "OutputParams.h"
+#include "output_docbook.h"
#include "output_xhtml.h"
#include "texstream.h"
#include "Text.h"
Color Line_color = pi.base.font.realColor();
// the offset is a vertical one
- // the horizontal dimension must be corrected with the heigth because
- // of left and right border of the painted line for big heigth.
+ // the horizontal dimension must be corrected with the height because
+ // of left and right border of the painted line for big height.
pi.pain.line(x + height_/2 + 1,
y - offset_ - height_/2,
x + dim.wid - height_/2 - 2,
}
-int InsetLine::docbook(odocstream & os, OutputParams const &) const
+void InsetLine::docbook(XMLStream & xs, OutputParams const &) const
{
- os << '\n';
- return 0;
+ xs << xml::CR();
}