double dist = 1000;
double width = dist * map_scale;
double x = page_width - 10 - width;
- double y = page_height - 14;
+ double y = page_height - 15;
svg_push_element(svg, "g");
svg_set_attr(svg, "id", "scale");
svg_set_attr(svg, "stroke-linecap", "square");
if (outline)
{
- svg_set_attr_dimen(svg, "stroke-width", 1.5);
+ svg_set_attr_dimen(svg, "stroke-width", 1.1);
svg_set_attr_color(svg, "stroke", 0xffffff);
}
else