The question, Change the DEFAULT console window font in Windows 10 answers how to set the default font for the Windows 10 Console (command prompt). However, this only works when running the console directly.
What about when running a batch file by double clicking (or via Windows Key-R to run)? The default window sizes I set are there, but the font is back to the original dinky font.
