From: Tom Lane <tgl@sss.pgh.pa.us>
To: Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
cc: pgsql-docs@lists.postgresql.org
Subject: Re: Rendering pi more nicely in PDF
In-reply-to: <f58a0973-6e06-65de-8fb8-b3b93518bc6e@2ndquadrant.com>
References: <10598.1587928415@sss.pgh.pa.us>
 <f58a0973-6e06-65de-8fb8-b3b93518bc6e@2ndquadrant.com>
Comments: In-reply-to Peter Eisentraut <peter.eisentraut@2ndquadrant.com>
	message dated "Wed, 29 Apr 2020 20:59:07 +0200"
MIME-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Content-ID: <25117.1588190306.1@sss.pgh.pa.us>
Date: Wed, 29 Apr 2020 15:58:26 -0400
Message-ID: <25118.1588190306@sss.pgh.pa.us>
Precedence: bulk

Peter Eisentraut <peter.eisentraut@2ndquadrant.com> writes:
> On 2020-04-26 21:13, Tom Lane wrote:
>> "&pi;" renders poorly in our PDF docs: as shown in the attached
>> screenshot, it doesn't line up on the baseline.

> The real problem here is that the default font (Times or Times New 
> Roman) embedded in PDF readers doesn't have these off-the-beaten-path 
> glyphs.  I'm surprised you see anything at all.

Well, I do ...

> My proposal is to use the DejaVu fonts, which are open source and easily 
> available for common operating systems.  (Arguably, they also give the 
> documentation a slightly fresher look.)
> The attached patch implements this.  You just have to install the fonts 
> somehow.  Red Hat and Debian should have packages for this.  We should 
> write instructions for this in any case.

I think making the built documentation depend on nonstandard fonts
is a truly awful idea.  It'd be okay perhaps if the requirement only
applied to people building the docs, but won't the requirement also
flow through to end users?

			regards, tom lane