diff options
Diffstat (limited to 'htdocs/print.css')
| -rw-r--r-- | htdocs/print.css | 36 |
1 files changed, 24 insertions, 12 deletions
diff --git a/htdocs/print.css b/htdocs/print.css index c69a236..7de1cfe 100644 --- a/htdocs/print.css +++ b/htdocs/print.css @@ -1,16 +1,28 @@ -#menu, .jumpbar, address, .copyright, #revalidate { - display: none - } +@media print +/* should not be necessary to wrap this way, but safer is better */ +{ + #menu, .jumpbar, address, .copyright, #revalidate { + display: none + } -body { - font-size: 12pt; + html { + background: white; } -#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 + 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 } + +} |