Add back print stylesheet to new documentation
There was a quite nice (at least working) stylesheet for printing the "old" documentation page...
With the new documentation styles, printing can't be done! Please add the stylesheet back :)
Preliminary stylesheets are available.
Not closing this one, though, as we plan do to significant improvements on them.