htdocs/print.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

/*!
   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 }

}