Does this mean the ludicrously generous padding will be as easy to change as

    html * { padding: 2px!important; }