html.streams: allow non-equal padding values.