// derive the line thickness from zoom factor
// the zoom is given in percent
// (increase thickness at 250%, 450% etc.)
- solid_line_thickness_ = (lyxrc.zoom + 50) / 200;
+ solid_line_thickness_ = (lyxrc.zoom + 150) / 200;
// adjust line_offset_ too
solid_line_offset_ = 1 + solid_line_thickness_ / 2;
}
ColorCode oldcolor = font.color();
string const oldname = fontname;
fontname = name;
- font = sane_font;
+ if (isMathFont(name) || isMathFont(oldname))
+ font = sane_font;
augmentFont(font, name);
font.setSize(rc->old.font.size());
if (name != "lyxtex"