If you use Windows Terminal as console, please note that it does not permit to change console font size programmatically, so setting this property will have no effect.
console.fontsize
Get or set the console font size, a number that represent the font size in pixels.
Example
-- old DOS like console
import console
console.fullscreen = true
console.clear()
console.font = "Lucida Console"
console.fontsize = 16
console.write("Starting MS-DOS...\n\nHIMEM is testing extending memory...done.\n")
console.writeln("\nMODE prepare codepage function completed")
console.writeln("\nMODE select codepage function completed")
console.writeln("\n\nC:\\ \n\n\n")