Tweak manual layout.

diff --git a/doc/manual/dcpomatic.css b/doc/manual/dcpomatic.css
index ad003e33cc02ae11061c80cd6c3ee7ad60db501f..330131dbb2ce790b0045f81faa1166742dd4d4f1 100644 (file)
--- 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%;
+}