From: Ben Harris <bjh21@bjh21.me.uk>
Date: Fri, 30 Jun 2017 09:37:57 +0000 (+0100)
Subject: Change font size of heading to 100px.
X-Git-Tag: bedstead-001.003~26
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~bjharris/git?a=commitdiff_plain;h=3c7ba493609e35ffc204d3efaa40be9db70ddfac;p=bedstead.git

Change font size of heading to 100px.

Bedstead works best at pixel sizes of the form 20+40n, where n is an
integer.
---

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