Do you know if that difference in font-weight is intentional? Maybe it makes sense to use 400 on github.com, too? Otherwise I'll probably change it to semantic names…