| From: | Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> |
|---|---|
| To: | Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> |
| Cc: | pgsql-docs(at)lists(dot)postgresql(dot)org |
| Subject: | Re: Rendering pi more nicely in PDF |
| Date: | 2020-04-29 19:58:26 |
| Message-ID: | 25118.1588190306@sss.pgh.pa.us |
| Views: | Whole Thread | Raw Message | Download mbox | Resend email |
| Thread: | |
| Lists: | pgsql-docs |
Peter Eisentraut <peter(dot)eisentraut(at)2ndquadrant(dot)com> writes:
> On 2020-04-26 21:13, Tom Lane wrote:
>> "π" 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
| From | Date | Subject | |
|---|---|---|---|
| Next Message | Peter Eisentraut | 2020-04-29 20:28:22 | Re: Rendering pi more nicely in PDF |
| Previous Message | Corey Huinker | 2020-04-29 19:55:45 | Re: Add A Glossary |