Use PragmataPro as the default font.