github.css: fix line height to new github markup