remove unnecessary break in SDOs reference pane header

[michaelficarra]

before:

after:

[bakkot]

I think this break is necessary for longer productions:

[michaelficarra]

Breaking doesn't prevent it from wrapping on a narrow-enough display. All it does is wrap unnecessarily on larger displays. We may be able to add some CSS to prefer breaking before the grammar alternative.

[bakkot]

The bit I posted above looks fine on my machine without this change, and terrible with this change. I grant that even prior to this change there are cases which look bad, but I don't think that warrants making other cases also bad just to avoid this linebreak in the case of short productions.

[michaelficarra]

Alternatively, we could just cut it off with an ellipsis when it doesn't fit:

[bakkot]

If you want to do that and also have the linebreak, I'm ok with it I guess. But I don't want to make things less readable than they currently are. The screenshot I posted looks fine; dropping the linebreak and adding an ellipsis would be worse.