Here's @marianabeldi comparing seven ways to add a double border to SVG shapes — yes, seven!
https://css-tricks.com/how-to-add-a-double-border-to-svg-shapes/