Top toolbar: Fix issues with save button overlap, and plugin buttons#53101

Merged

jasmussen merged 2 commits intotrunkfrom try/polish-top-toolbar

Jul 28, 2023

+21-3

Commits on Jul 28, 2023

Shorten the width of the top toolbar overlay and make doc title smaller.
jasmussen
committed
Add a scrim and a margin to handle plugin buttons better.
jasmussen
committed