Use a relative size for <code> in print so that it works in headers.

jyasskin · jyasskin · commit 1cb5b6dec674 · 2014-05-15T00:10:46.000-04:00
diff --git a/base.css b/base.css
@@ -36,7 +36,7 @@ cxx-titlepage { page: title; page-break-after: always; }
 
 @media print {
     html { font-size: 10pt; }
-    * /deep/ pre, * /deep/ code { font-size: 8pt; }
+    * /deep/ code { font-size: 80%; }
     /* Note that only Prince generates clickable links. */
     * /deep/ a[href] { text-decoration:none; }
 }

Original file line number	Diff line number	Diff line change
`@@ -36,7 +36,7 @@ cxx-titlepage { page: title; page-break-after: always; }`
`36`	`36`
`37`	`37`	`@media print {`
`38`	`38`	`html { font-size: 10pt; }`
`39`		`- * /deep/ pre, * /deep/ code { font-size: 8pt; }`
	`39`	`+ * /deep/ code { font-size: 80%; }`
`40`	`40`	`/* Note that only Prince generates clickable links. */`
`41`	`41`	`* /deep/ a[href] { text-decoration:none; }`
`42`	`42`	`}`