chore(deps): update dependency @vue/eslint-config-typescript to v13 (#…

…5430)

* chore(deps): update dependency @vue/eslint-config-typescript to v13

* Re-enable vitepress updates

* Commit generated SVGs as they do not render on Vercel

---------

Co-authored-by: renovate[bot] <29139614+renovate[bot]@users.noreply.github.com>
Co-authored-by: Lukas Taegert-Atkinson <lukas.taegert-atkinson@tngtech.com>

.gitignore

@@ -18,7 +18,7 @@ perf/
 .nyc_output/
 .github_token
 .temp
-docs/.vitepress/graphs
+docs/.vitepress/graphs/*.mmd
 *.tsbuildinfo
 target
 *.node

docs/.vitepress/mermaid.ts

@@ -27,6 +27,9 @@ export function renderMermaidGraphsPlugin(): Plugin {
 		const existingGraphFileNames = await existingGraphFileNamesPromise;
 		const outFileURL = new URL(outFile, graphsDirectory);
 		if (!existingGraphFileNames.has(outFile)) {
+			console.warn(
+				`Pre-rendered file ${outFile} not found, rendering...\nIf this throws on Vercel, you need to run "npm run build:docs" locally first and commit the updated svg files.`
+			);
 			const inFileURL = new URL(`${outFile}.mmd`, graphsDirectory);
 			await writeFile(inFileURL, codeBlock);
 			const { stdout, stderr } = await execPromise(

docs/repl/components/ReplMain.vue

@@ -45,6 +45,12 @@ onUnmounted(() => {
 </script>
 
 <style>
+/* override vitepress styles */
+.vp-doc.container {
+	padding: 0;
+	max-width: 100%;
+}
+
 /* global styles */
 .repl-button {
 	font-family: inherit;
@@ -108,31 +114,39 @@ input {
 
 .repl-icon-pencil:before {
 	content: '\e800';
-} /* '' */
+}
+
 .repl-icon-cancel:before {
 	content: '\e801';
-} /* '' */
+}
+
 .repl-icon-plus:before {
 	content: '\e802';
-} /* '' */
+}
+
 .repl-icon-minus:before {
 	content: '\e803';
-} /* '' */
+}
+
 .repl-icon-ok:before {
 	content: '\e804';
-} /* '' */
+}
+
 .repl-icon-error:before {
 	content: '\e805';
-} /* '' */
+}
+
 .repl-icon-attention:before {
 	content: '\e806';
-} /* '' */
+}
 </style>
 
 <style scoped>
 h2 {
 	white-space: nowrap;
-	margin-bottom: 0.25rem;
+	margin: 0 0 0.25rem;
+	border: none;
+	padding: 0;
 	font-size: 20px;
 	line-height: 28px;
 	font-weight: 600;