feat: scale exported visualization html elements with width

Author: bwRavencl

src/main/java/de/bwravencl/controllerbuddy/gui/Main.java

@@ -2150,7 +2150,7 @@ public void exportVisualization(File file) {
 			headElement.appendChild(darkColorSchemeStyleElement);
 
 			final var svgDivStyleElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "style");
-			svgDivStyleElement.setTextContent(".svg-div{aspect-ratio:2.5;margin-top:50px}");
+			svgDivStyleElement.setTextContent(".svg-div{aspect-ratio:2.5}");
 			headElement.appendChild(svgDivStyleElement);
 
 			final var titleElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "title");
@@ -2159,25 +2159,29 @@ public void exportVisualization(File file) {
 			headElement.appendChild(titleElement);
 
 			final var bodyElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "body");
+			bodyElement.setAttribute("style", "font-family:sans-serif");
 			htmlDocument.getDocumentElement().appendChild(bodyElement);
 
 			final var headerDivElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "div");
-			headerDivElement.setAttribute("style", "font-family:sans-serif;text-align:center");
+			headerDivElement.setAttribute("style", "text-align:center");
 			bodyElement.appendChild(headerDivElement);
 
-			final var profileHeaderElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "h1");
+			final var profileHeaderElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "div");
 			profileHeaderElement.setTextContent(title);
+			profileHeaderElement.setAttribute("style", "font-size:2.5vw;font-weight:bold;margin-bottom:0.5em");
 			headerDivElement.appendChild(profileHeaderElement);
 
 			final var labelElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "label");
-			labelElement.setTextContent("Mode: ");
-			labelElement.setAttribute("style", "font-size:1.17em;font-weight:bold");
+			final var labelSpanElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "span");
+			labelSpanElement.setTextContent("Mode: ");
+			labelSpanElement.setAttribute("style", "font-size:1.2vw;font-weight:bold");
+			labelElement.appendChild(labelSpanElement);
 			headerDivElement.appendChild(labelElement);
 
 			final var selectElement = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "select");
 			selectElement.setAttribute("onchange",
 					"Array.from(document.getElementsByClassName('svg-div')).forEach(e=>e.style.display=(e.id===this.value?'block':'none'))");
-			selectElement.setAttribute("style", "vertical-align:text-bottom");
+			selectElement.setAttribute("style", "font-size:1vw;vertical-align:text-bottom");
 			labelElement.appendChild(selectElement);
 
 			final var usedSymbols = new HashSet<String>();
@@ -2204,7 +2208,7 @@ public void exportVisualization(File file) {
 
 			final var legendDiv = htmlDocument.createElementNS(XLINK_NAMESPACE_URI, "div");
 			legendDiv.setAttribute("style",
-					"border-radius:0.75em;border-style:solid;color:black;display:flex;flex-direction:column;font-family:sans-serif;gap:0.3em;margin:2em auto 0 auto;padding:0.5em;width:max-content");
+					"border-width:0.25vw;border-radius:0.75em;border-style:solid;color:black;display:flex;flex-direction:column;font-size:1vw;gap:0.25vw;margin:2em auto 0 auto;padding:0.5em;width:max-content");
 
 			final var legendHtml = createVisualizationLegendHtml(usedSymbols);
 			final var byteArrayInputStream = new ByteArrayInputStream(legendHtml.getBytes(StandardCharsets.UTF_8));