Actually, back-in-the-good-old-days I wrote some software to do exactly this, and your right, in effect a 1/2 pixel line is actually a 50% shift to the line color, but it "looks" like a half-pixel wide line!