Support printing (to physical paper)

[dbp]

Right now, there doesn't seem to be a great way to print files out. Ideally, the print css would have just the definitions panel, and would have the whole file.

Obviously I can download and print using any number of other programs, but they are less likely to have good syntax highlighting, and it seems like something CPO could support!

I've tested this in Chrome, in case there is a mechanism that works in other browsers.

[jpolitz]

Oh fascinating, good request. This ought to be doable.

[asolove]

Having it just print the definitions text is not hard in css.

But I am curious if there are use-cases where someone would want to print the repl output instead, or in addition.

[blerner]

Teachers very likely would, for lecture notes.

[dbp]

Probably it would be good to also support hiding interactions (I just created this as #583); then the print should just show whatever is visible?