Highlighted pages in a workspace overlap the pagetree border.
When using workspaces, pages with changes are highlighted. This highlight slightly overlaps the border of the pagetree.
To fix it, we just need 2px of margin added to the Workspace info and highlighted pages.
(issue imported from #M16769)