github header sizes are awfully large