1 files changed, 0 insertions, 35 deletions
diff --git a/htdocs/print.css b/htdocs/print.css
deleted file mode 100644
index fd3a720..0000000
--- a/htdocs/print.css
+++ /dev/null
@@ -1,35 +0,0 @@
-/*!
-   Print Style Sheet for the W3C Markup Validation Service.
-
-   Copyright 2004-2005 W3C (MIT, INRIA, Keio). All Rights Reserved.
-   See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
-*/
-
-@media print 
-/* should not be necessary to wrap this way, but safer is better */
-{
-    #menu, .jumpbar, address, .copyright, #revalidate { 
-        display: none; 
-        }
-
-    html {
-        background: white;
-    }
-
-
-    body {
-        font-size: 12pt; 
-        background: white;
-        padding: 0;
-        }
-
-    #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 }
-
-}