Hide navigation when printing

Especially the top navigation bar was often in the way on prints, as it showed up on the top of each page in some browsers, as discussed in #297.