Re: Duplicating website's formatting in local doc builds

"Jonathan S. Katz" <jkatz@postgresql.org> writes:
> On 2/11/20 1:37 PM, Tom Lane wrote:
>> I also wonder why duplicating the website's style isn't the default.
>> Doesn't seem like having authors optimize for some other style is
>> what we really want.

> Oh, and specifically for this, my guess is because it requires one to
> make a call over a network to load the stylesheet. :)

Surely we could provide directions about how to store that locally.

            regards, tom lane