#include "InsetMathFBox.h"
#include "MathData.h"
#include "MathStream.h"
-#include "Color.h"
#include "support/std_ostream.h"
#include "frontends/Painter.h"
{
Dimension const dim = dimension(*pi.base.bv);
pi.pain.rectangle(x + 1, y - dim.ascent() + 1,
- dim.width() - 2, dim.height() - 2, Color::foreground);
+ dim.width() - 2, dim.height() - 2, Color_foreground);
FontSetChanger dummy(pi.base, "textnormal");
cell(0).draw(pi, x + 3, y);
setPosCache(pi, x, y);