fix box-sizing for github-jquery css