From 21fe6105bbfa2012899b4f68fa208793d6f35b1f Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Mon, 19 Oct 2015 14:00:09 -0700
Subject: Added better print CSS.

---
 tools/template.html | 15 +++++++++++++--
 1 file changed, 13 insertions(+), 2 deletions(-)

diff --git a/tools/template.html b/tools/template.html
index d09d48f..39a196d 100644
--- a/tools/template.html
+++ b/tools/template.html
@@ -4,14 +4,14 @@
 <meta charset="UTF-8">
 <title>${title}</title>
 <style type="text/css">
-  body { font-family: Helvetica, arial, freesans, clean, sans-serif;
+body { font-family: Helvetica, arial, freesans, clean, sans-serif;
     line-height: 1.4;
     max-width: 48em;
     margin: auto;
     color: #333333;
     background-color: #fff;
     font-size: 13pt;
-  }
+}
 div#TOC ul { list-style: none; }
 h1 { font-size: 140%; font-weight: bold; border-top: 1px solid gray; padding-top: 0.5em; }
 h2 { font-size: 120%; font-weight: bold; }
@@ -66,6 +66,17 @@ a.footnoteRef > sup {
   vertical-align: baseline;
   font-size: 100%;
 }
+@media print {
+  @page {
+    size: auto;
+    margin: 1.2in 1.2in 1.2in 1.2in;
+  }
+  body {
+      margin: 0px;
+      line-height: 1.2;
+      font-size: 10pt;
+    }
+}
 </style>
 <script src="//code.jquery.com/jquery-1.11.0.min.js"></script>
 <script type="text/javascript">
-- 
cgit v1.2.3