Print style regression

The old header.jsp includes a print.css stylesheet which hides the header, breadcrumbs, and other stuff that doesn't matter when printed out. The new bootstrap.jsp replacement fails to reference this stylesheet, and the stylesheet itself also needs updating to match changes to the updated document structure.