Changes in the default font for Coder window.
Changes were applied to generateSpec.py, and then the files with configs for
different operating systems.