diff options
| -rw-r--r-- | htdocs/base.css | 9 | ||||
| -rw-r--r-- | htdocs/handheld.css | 24 | ||||
| -rw-r--r-- | htdocs/print.css | 36 |
3 files changed, 56 insertions, 13 deletions
diff --git a/htdocs/base.css b/htdocs/base.css index bbaa0e3..2ceec0a 100644 --- a/htdocs/base.css +++ b/htdocs/base.css @@ -4,13 +4,14 @@ Copyright 2000-2005 W3C (MIT, INRIA, Keio). All Rights Reserved. See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright - $Id: base.css,v 1.45 2005-02-16 23:47:11 ot Exp $ + $Id: base.css,v 1.46 2005-02-17 02:21:32 ot Exp $ */ @import url(results.css); /* CSS for validation results. */ @import url(navbar.css); /* CSS for navigation menu. */ @import url(tips.css); /* CSS for Quality Tips. */ @import url(docs.css); /* CSS for the Documentation. */ +/* the print/handheld CSS imports are at the end of this document */ /* Special Notices */ @@ -101,6 +102,7 @@ address { address img { display: inline; float: left; + vertical-align: middle; width: 88px; } @@ -187,6 +189,7 @@ dd { #news dt { font-weight: bold; + margin-top: 1em; } img { @@ -283,3 +286,7 @@ input.default { text-align: center; font-weight: bold; } + +@import url(print.css) print; +@import url(handheld.css) handheld; + diff --git a/htdocs/handheld.css b/htdocs/handheld.css new file mode 100644 index 0000000..61f4508 --- /dev/null +++ b/htdocs/handheld.css @@ -0,0 +1,24 @@ +@media handheld { +/* should not be necessary to wrap this way, but safer is better */ + + html, body, #menu, #banner, .jumpbar, address, .copyright, #revalidate { + background:white !important; + } + + body { + padding: 0; + } + + #banner, #main, #address { + margin: 0 !important; + padding: 0 !important; + } + + #banner { + height: auto; + } + + #source div pre { white-space: normal } + #source div pre a {display: block } + +} 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 } + +} |