setting <code> css font-family to github's one