fix printing

IPython/html/static/base/less/page.less

@@ -14,7 +14,9 b' body {'
     right: 0px;
     top: 0px;
     bottom: 0px;
-    .vbox();
+    @media not print {
+      .vbox();
+    }
     overflow: visible;
 }
 
@@ -82,9 +84,11 b' body {'
     width: 100%;
     display: none;
     .border-box-sizing();
-    flex: 1;
     overflow: auto;
-    height: 0px; // triggers overflow, but overridded by flex
+    @media not print {
+      flex: 1;
+      height: 0px; // triggers overflow, but overridded by flex
+    }
 }
 
 /* Smaller buttons */

IPython/html/static/style/style.min.css

@@ -8265,22 +8265,26 b' body {'
   right: 0px;
   top: 0px;
   bottom: 0px;
-  /* Old browsers */
-  display: -webkit-box;
-  -webkit-box-orient: vertical;
-  -webkit-box-align: stretch;
-  display: -moz-box;
-  -moz-box-orient: vertical;
-  -moz-box-align: stretch;
-  display: box;
-  box-orient: vertical;
-  box-align: stretch;
-  /* Modern browsers */
-  display: flex;
-  flex-direction: column;
-  align-items: stretch;
   overflow: visible;
 }
+@media not print {
+  body {
+    /* Old browsers */
+    display: -webkit-box;
+    -webkit-box-orient: vertical;
+    -webkit-box-align: stretch;
+    display: -moz-box;
+    -moz-box-orient: vertical;
+    -moz-box-align: stretch;
+    display: box;
+    box-orient: vertical;
+    box-align: stretch;
+    /* Modern browsers */
+    display: flex;
+    flex-direction: column;
+    align-items: stretch;
+  }
+}
 #header {
   /* Initially hidden to prevent FLOUC */
   display: none;
@@ -8343,9 +8347,13 b' body {'
   box-sizing: border-box;
   -moz-box-sizing: border-box;
   -webkit-box-sizing: border-box;
-  flex: 1;
   overflow: auto;
-  height: 0px;
+}
+@media not print {
+  #site {
+    flex: 1;
+    height: 0px;
+  }
 }
 /* Smaller buttons */
 .ui-button .ui-button-text {