printing support

assets/style.css

@@ -379,3 +379,29 @@ main {
 		width: 20rem;
 	}
 }
+
+@media print {
+	html {
+		font-size: 10pt;
+	}
+
+	header {
+		display: none;
+	}
+
+	.content-footer {
+		display: none;
+	}
+
+	.content {
+		padding: 0;
+	}
+
+	.sidebox {
+		display: none;
+	}
+
+	pre {
+		overflow-x: wrap;
+	}
+}