Is there a style guide anywhere explaining this stuff?

20px gutter is too big in this case really as is it cuts off too much of the already limited username space.