doc: ps/pdf: set page numbers in normal-sized italic

Set page numbers in normal-sized italic, instead of large and bold.
We might want to consider using bold italic, but I think this is just
fine.

diff --git a/doc/head.ps b/doc/head.ps
index 6c3b3b1..48b7af2 100644 (file)
--- a/doc/head.ps
+++ b/doc/head.ps
@@ -345,8 +345,8 @@
 /pagel lmarg plmarg sub def
 /pager pagewidth rmarg sub prmarg add def
 
-/pageeven { pagel pagey moveto sfont0 setfont show } def
-/pageodd  { sfont0 setfont dup stringwidth pop pager exch sub
+/pageeven { pagel pagey moveto bfont1 setfont show } def
+/pageodd  { bfont1 setfont dup stringwidth pop pager exch sub
            pagey moveto show } def
 
 %