From 3c7ba493609e35ffc204d3efaa40be9db70ddfac Mon Sep 17 00:00:00 2001
From: Ben Harris <bjh21@bjh21.me.uk>
Date: Fri, 30 Jun 2017 10:37:57 +0100
Subject: [PATCH] Change font size of heading to 100px.

Bedstead works best at pixel sizes of the form 20+40n, where n is an
integer.
---
 title.ps | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/title.ps b/title.ps
index 91d1345..b8eea45 100644
--- a/title.ps
+++ b/title.ps
@@ -1,8 +1,8 @@
-<< /HWResolution [ 72 72 ] /PageSize [ 378 72 ] >> setpagedevice
-/Bedstead findfont 80 scalefont setfont
-0 8 moveto
+<< /HWResolution [ 72 72 ] /PageSize [ 470 90 ] >> setpagedevice
+/Bedstead findfont 100 scalefont setfont
+0 10 moveto
 /s { show } def
-/k { -8 0 rmoveto } def
+/k { -10 0 rmoveto } def
 % Manually apply the 'palt' OTF feature to improve the spacing
 (Beds) s k (t) s k (ead) s
 showpage
-- 
2.30.2