Hello,
I already could modify slightly the layout of Pluto thanks to some posts here.
Mainly the witdh of cells and Live docs.
However, I am still not full confortable.
I would be more confortable by these changes:
- move the cells to the left as much as possible.
- move “Live docs” to right as much as possible.
- eventually to have “Live doc” occupy the full screen on the right, from top to bottom
- eventually to have “Live docs” popping from right to left instead of bottom-up
I had a look at index.css from Pluto on GitHub.
I don’t know if tweaking the setting in this css could do the job.
Any suggestion?
Thanks
Michel