Fix non-scrolling sidebar on Themes editor

The right sidebar of the Themes editor does not behave properly when the browser window is smaller than its height, causing an unwanted overlay between the elements. The goal is to avoid this effect and make the whole sidebar scrollable.