From 800b8a05df037512624db03a0fd08b93955d6bf5 Mon Sep 17 00:00:00 2001
From: Carl Hetherington <cth@carlh.net>
Date: Sat, 8 Jul 2017 00:29:28 +0100
Subject: [PATCH] Tweak manual layout.

---
 doc/manual/dcpomatic.css | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/doc/manual/dcpomatic.css b/doc/manual/dcpomatic.css
index ad003e33c..330131dbb 100644
--- a/doc/manual/dcpomatic.css
+++ b/doc/manual/dcpomatic.css
@@ -41,3 +41,7 @@ div.note {
     margin-top: 18pt;
     margin-bottom: 18pt;
 }
+
+code.code {
+    font-size: 125%;
+}
-- 
2.30.2