improve scrollbar
editor top padding
widen tree border
overlay border
wide overlays