fix(frontend): set editor font size to the same default as text (#7631)

* set default font size to 13.5

* fix(frontend): update FakeMonacoPlaceHolder default font size to match Editor

Co-authored-by: Ruben Fiszel <rubenfiszel@users.noreply.github.com>

---------

Co-authored-by: claude[bot] <41898282+claude[bot]@users.noreply.github.com>
Co-authored-by: Ruben Fiszel <rubenfiszel@users.noreply.github.com>

frontend/src/lib/components/Editor.svelte

@@ -1365,7 +1365,7 @@
 					$relativeLineNumbers
 				),
 				model,
-				fontSize: !small ? 14 : 12,
+				fontSize: !small ? 13.5 : 12,
 				lineNumbersMinChars,
 				// overflowWidgetsDomNode: widgets,
 				tabSize: lang == 'python' ? 4 : 2,

frontend/src/lib/components/FakeMonacoPlaceHolder.svelte

@@ -21,7 +21,7 @@
 		lineNumbersOffset = 0,
 		class: className = '',
 		showNumbers = true,
-		fontSize = 14
+		fontSize = 13.5
 	}: Props = $props()
 
 	let yPadding = MONACO_Y_PADDING