Comment 5 for bug 802351

I agree that CSS would better, but if so then I would drop the '|' completely and use a left border.