Merge pull request #204 from hugovk/print-hide-header

Author: hugovk

python_docs_theme/static/pydoctheme.css

@@ -754,3 +754,10 @@ div.deprecated-removed .versionmodified,
 div.versionremoved .versionmodified {
     color: var(--deprecated);
 }
+
+/* Hide header when printing */
+@media print {
+    div.mobile-nav {
+        display: none;
+    }
+}