am c9e30dce: Merge "Improve print stylesheet for d.a.c." into jb-dev

* commit 'c9e30dce7c7709a1d8b54bd9f2037e5fc8ff992f':
  Improve print stylesheet for d.a.c.
This commit is contained in:
Roman Nurik 2012-08-01 12:41:10 -07:00 committed by Android Git Automerger
commit 2461af44c1

View file

@ -1081,22 +1081,71 @@ color-stop(50%, #acbc00), color-stop(50%, #bdde00), color-stop(100%, #bdde00));
Print Only
========================================================================== */
@media print {
a {
color: inherit;
}
.nav-x, .nav-y {
display: none;
}
.str { color: #060; }
.kwd { color: #006; font-weight: bold; }
.com { color: #600; font-style: italic; }
.typ { color: #404; font-weight: bold; }
.lit { color: #044; }
.pun { color: #440; }
.pln { color: #000; }
.tag { color: #006; font-weight: bold; }
.atn { color: #404; }
.atv { color: #060; }
/* configure printed page */
@page {
margin: 0.75in 1in;
widows: 4;
orphans: 4;
}
/* reset spacing metrics */
html, body, .wrap {
margin: 0 !important;
padding: 0 !important;
width: auto !important;
}
/* leave enough space on the left for bullets */
body {
padding-left: 20px !important;
}
#doc-col {
margin-left: 0;
}
/* hide a bunch of non-content elements */
#header, #footer, #nav-x, #side-nav,
.training-nav-top, .training-nav-bottom,
#doc-col .content-footer,
.nav-x, .nav-y,
.paging-links,
a.totop {
display: none !important;
}
/* remove extra space above page titles */
#doc-col .content-header {
margin-top: 0;
}
/* bump up spacing above subheadings */
h2 {
margin-top: 40px !important;
}
/* print link URLs where possible and give links default text color */
p a:after {
content: " (" attr(href) ")";
font-size: 80%;
}
p a {
word-wrap: break-word;
}
a {
color: inherit;
}
/* syntax highlighting rules */
.str { color: #060; }
.kwd { color: #006; font-weight: bold; }
.com { color: #600; font-style: italic; }
.typ { color: #404; font-weight: bold; }
.lit { color: #044; }
.pun { color: #440; }
.pln { color: #000; }
.tag { color: #006; font-weight: bold; }
.atn { color: #404; }
.atv { color: #060; }
}
/* =============================================================================