Comment 4 for bug 100822

> Scaling this is not really possible without recognising the meaning of the
> different parts. But as the image only consists of pixels, some pixels shrinked
> away. Those lines are only one pixel wide in the original, so you cannot shrink
> them, only remove them.

Shrinking single pixel lines is indeed tricky. I imagine smart scaling
algorithms existed which have some heuristics for this. If you have a line
somewhere that's one pixel big, when shrinking it you typically never want a
high-contrast line to disappear. Then again, how well they work and whether the
library we use has such algorithms too is another question.. :)