From bcd0b9903c53b8e200a09387b86602266a8a8f33 Mon Sep 17 00:00:00 2001
From: "H. Peter Anvin" <hpa@zytor.com>
Date: Wed, 11 Jun 2008 18:23:14 -0700
Subject: [PATCH] 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.
---
 doc/head.ps | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/head.ps b/doc/head.ps
index 6c3b3b1c..48b7af21 100644
--- 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
 
 %
-- 
2.11.4.GIT