chiark / gitweb /
Change font size of heading to 100px.
authorBen Harris <bjh21@bjh21.me.uk>
Fri, 30 Jun 2017 09:37:57 +0000 (10:37 +0100)
committerBen Harris <bjh21@bjh21.me.uk>
Fri, 30 Jun 2017 09:37:57 +0000 (10:37 +0100)
Bedstead works best at pixel sizes of the form 20+40n, where n is an
integer.

title.ps

index 91d1345b0f9a088773be6f6c3ed30ab743322927..b8eea45e5383f27192bc0a22b33bbb6891a1d909 100644 (file)
--- 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