adding Maven Pro font family
adding reference to maven pro medium in main.css
getting codemirror to use maven pro medium