Resizable window for Live docs

[filchristou]

Hi! To begin with, I am not sure this is the best place for this.
But, it would be super nice to be able to resize the live docs.
From my experience, most of the times, they are just too small and narrow to read.
There is a hacky way to do this like

html"""
<style>
pluto-helpbox {
    width: 50vw;
}
</style>
"""

But again, overall I think it would be nice and simpler to have this done with a GUI resize cursor.