Fixing pre border to github color.