change font to Pragmata Pro, colors to zenburn