1 files changed, 16 insertions, 0 deletions
diff --git a/htdocs/print.css b/htdocs/print.css
new file mode 100644
index 0000000..c69a236
--- /dev/null
+++ b/htdocs/print.css
@@ -0,0 +1,16 @@
+#menu, .jumpbar, address, .copyright, #revalidate { 
+    display: none 
+    }
+
+body {
+    font-size: 12pt; 
+    }
+
+#banner { 
+    background: white; 
+    }
+
+/* trying to avoid having the source drool out of the paper */
+#source div pre { white-space: normal }
+/* ... yet have something legible */
+#source div pre a {display: block }
+\ No newline at end of file