set guifont=PragmataPro\ 10