html.streams: cleanup borders on html tables.