1 % Some setup for metapost
4 % Use metaobj for drawing objects
7 % Set some defaults for pretty pictures
8 setObjectDefaultOption("Box")("framewidth")(.75mm);
9 setObjectDefaultOption("Circle")("framewidth")(.75mm);
10 setObjectDefaultOption("Circle")("circmargin")(3mm);
14 setCurveDefaultOption("linewidth",.75mm);
15 % Add a nodesep that's equal to the linewidth, since the linewidth isn't
16 % included in the bounding box for line cutoff.
17 setCurveDefaultOption("nodesep",curve_linewidth_default);