Slightly enlarge font sample images to get better grid-fitting

40 pixels is a bad size; 50 pixels is a slightly better one.

diff --git a/extended.ps b/extended.ps
index 6be0a356579d24ee50cb7d7a9150e56ea4690c15..c468321c748c504847ad42c75561659e844f7fe6 100644 (file)
--- a/extended.ps
+++ b/extended.ps
@@ -1,4 +1,4 @@
-/bpx { 4 mul } bind def
+/bpx { 5 mul } bind def
 << /HWResolution [ 72 72 ] /PageSize [ 215 bpx 30 bpx ] >> setpagedevice
 /Bedstead findfont 10 bpx scalefont setfont
 0 22 bpx moveto (Bedstead) show

diff --git a/sample.ps b/sample.ps
index 6a8af997932cc6d4309b8a2bb8023208dfd17dbe..2e2cf373f02f8ed04fe12f43ff032aa24eb67792 100644 (file)
--- a/sample.ps
+++ b/sample.ps
@@ -1,4 +1,4 @@
-/bpx { 4 mul } bind def
+/bpx { 5 mul } bind def
 << /HWResolution [ 72 72 ] /PageSize [ 193 bpx 101 bpx ] >> setpagedevice
 /Bedstead findfont 10 bpx scalefont setfont
 /row { %def