From 25560810eaad48dc537bcb951c1b050071f43f06 Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonygarnockjones@gmail.com>
Date: Sun, 23 Sep 2018 22:56:36 +0100
Subject: [PATCH] Tweaks for Chrome and for print

---
 preserve.md | 9 +++++----
 1 file changed, 5 insertions(+), 4 deletions(-)

diff --git a/preserve.md b/preserve.md
index 9cc515b..607a7ce 100644
--- a/preserve.md
+++ b/preserve.md
@@ -1,16 +1,19 @@
 ---
 ---
 <style>
-body { font-family: palatino, "Palatino Linotype", "Palatino LT STD", "URW Palladio L", serif; }
+body { font-family: palatino, "Palatino Linotype", "Palatino LT STD", "URW Palladio L", "TeX Gyre Pagella", serif; }
 @media screen {
   body { padding-top: 2rem; max-width: 40em; margin: auto; font-size: 120%; }
 }
 @media print {
   body { margin-left: 2rem; }
+  h2 { page-break-before: always }
+  h2:first-of-type { page-break-before: auto; }
 }
 h1, h2, h3, h4, h5, h6 { margin-left: -1rem; color: #4f81bd; }
 h2 { border-bottom: solid #4f81bd 1px; }
-pre, code { background-color: #eee; }
+pre, code { background-color: #eee; font-family: "DejaVu Sans Mono", monospace; }
+code { font-size: 75%; }
 pre { padding: 0.33rem; }
 </style>
 
@@ -28,8 +31,6 @@ pre { padding: 0.33rem; }
   [varint]: https://developers.google.com/protocol-buffers/docs/encoding#varints
   [erlang-map]: http://erlang.org/doc/reference_manual/data_types.html#map
 
-## Introduction
-
 Most data serialization formats used on the web represent
 *edge-labelled* semi-structured data.