function changeSVG() {
const svg_original_w = document.getElementById("mySVG").getAttribute("width");
const svg_w = document.getElementById("mySVG").getBoundingClientRect().width;
const ratio = Math.round((100 * svg_w) / svg_original_w) / 100;
d3.select("#mySVG")
.selectAll("text")
.style("font-size", (d) => Math.round((100 * fontSize) / ratio) / 100);
d3.select("#mySVG")
.selectAll("path")
.style("stroke-width", (d) => Math.round((100 * strokeSize) / ratio) / 100);
}