Mag ja sein, dass dir die Zeile unsinnig erscheint, aber das funktioniert ja so einwandfrei wie es ist.

Ich hätte einen Einwand: es funktioniert nicht ohne JavaScript.

Darum ging es ja auch gar nicht ...

Sieh es als kostenlosten, wertvollen Rat.

Ob ich nun ein |-Zeichen oder CSS dafür benutze ist völlig irrelevant ...

Nein, denn das Pipe-Zeichen ist ein Zeichen wie jedes andere. In vielen Schriftarten haben schriftzeichen die Eigenart, nicht zusammenzukleben - allein dadurch kommt schon ein abstand Zustande.

Die Formatierung des Buttons in CSS löst das eigentliche Problem übrigens nicht...

Schlechtes HTML lässt sich mit CSS nicht (oder nur extrem schwierig) verbessern.