- packages << "\\definecolor{shadecolor}{rgb}{"
- << c.r/255 << ',' << c.g/255 << ',' << c.b/255 << "}\n";
+ //255.0 to force conversion to double
+ //NOTE As Jürgen Spitzmüller pointed out, an alternative would be
+ //to use the xcolor package instead, and then we can do
+ // \define{shadcolor}{RGB}...
+ //and not do any conversion. We'd then need to require xcolor
+ //in InsetNote::validate().
+ int const stmSize = packages.precision(2);
+ packages << "\\definecolor{shadecolor}{rgb}{"
+ << c.r / 255.0 << ',' << c.g / 255.0 << ',' << c.b / 255.0 << "}\n";
+ packages.precision(stmSize);