From 867a744385a54c360d33c2382706056cd02e7430 Mon Sep 17 00:00:00 2001
From: Zhiming Wang <zmwangx@gmail.com>
Date: Wed, 13 Jan 2016 21:30:01 -0800
Subject: source/css/theme.css: Fix printing stylesheet

Adjust to the right font size. Most of the heavylifting is avoided by
the last commit which made all printing font sizes relative (to the base
body font size).

Also add "-webkit-print-color-adjust: exact" to the pre tag to hint
WebKit based browsers to keep my code block background color. Nothing
can be done in Firefox; users need to manually check the "Print
Background Colors" advanced printing option. IE/Edge? Who knows, who
cares.
---
 source/css/print.css | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'source/css/print.css')

diff --git a/source/css/print.css b/source/css/print.css
index 452c929d..6eaf7864 100644
--- a/source/css/print.css
+++ b/source/css/print.css
@@ -1,6 +1,10 @@
 body {
     margin: 5% 0;
-    font-size: 7.936pt;
+    font-size: 12px;
+}
+
+pre {
+    -webkit-print-color-adjust: exact;
 }
 
 .content, .content-separator, .footer {
-- 
cgit v1.2.1