Pluto: how to increase the width of "Live docs"

Just run a cell with this code:

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

See also Modify right margin in Pluto notebook - #3 by pankgeorg

3 Likes