From c30aecb9aa46aa04bb18dfac7ef2da30d1b0a05b Mon Sep 17 00:00:00 2001
From: Raniere Silva <raniere@ime.unicamp.br>
Date: Mon, 23 Jun 2014 18:09:47 -0300
Subject: [PATCH] Shrink the font size for print version

---
 swc.css | 21 +++++++++++++++++++++
 1 file changed, 21 insertions(+)

diff --git a/swc.css b/swc.css
index bcb77c2..2100161 100644
--- a/swc.css
+++ b/swc.css
@@ -306,6 +306,27 @@ ul.checklist {
 
 /* Printing */
 @media print {
+  h1 {
+    font-size: 16pt;
+    line-height: 18pt;
+  }
+
+  h2,h3,h4,h5,h6 {
+    font-size: 12pt;
+    line-height: 13pt;
+  }
+
+  p,ul,ol,li,pre,code {
+    font-size: 8pt;
+    line-height: 9pt;
+  }
+
+  code {
+    padding: 0px;
+    border: 0px;
+    background: none;
+  }
+
   #github-ribbon {
     display: none;
   }