War die Datei denn nicht als SVG dabei? Die könntest Du ja in Inkscape öffnen und bearbeiten. Die Größe spielt dann auch keine Rolle mehr, weil Du diese SVG Dateien ja beliebig vergrößern oder verkleinern kannst. Auch die Linienfarben lassen sich beliebig verändern.
Besser dreimal überlegen als zweimal sägen!
