Tweak spacing on the rich text formatting toolbar.
Review Request #13204 — Created Aug. 11, 2023 and discarded
The new formatting toolbar was a little bit too high up inside the text
box, due to stacked margin/padding. This change alters the margins so
that the buttons appear with the same visual spacing on the left and
While I was here I also deleted an unused interface that was left over
from an earlier iteration of the implementation.
Looked at the formatting toolbar and saw that it was positioned better.