<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 20001102//EN"
"http://www.w3.org/TR/2000/CR-SVG-20001102/DTD/svg-20001102.dtd">
<svg width="32" height="32">
- <circle style="fill:green;stroke:black;stroke-width:1;" cx="16" cy="16" r="16"/>
+ <circle style="fill:green;stroke:black;stroke-width:1;" cx="16" cy="16" r="13"/>
</svg>