Use svg instead of png to get better image quality
Merge pull request #5508 from PeterDaveHello/patch-1

[DOC] Use svg instead of png to get better image quality