Use svg only for decorative background-image graphics

The stripes aren't a great loss if old browsers can't render them,
so remove the .png versions. The hr would be, so use a fallback to
the .png in that case.

Also slightly improve the hr graphics.

Change-Id: I40879b61d99a00bd6032ff7df8117e16550ae380