Re: Duplicating website's formatting in local doc builds

From: "Jonathan S(dot) Katz" <jkatz(at)postgresql(dot)org>
To: Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us>, pgsql-docs(at)lists(dot)postgresql(dot)org
Subject: Re: Duplicating website's formatting in local doc builds
Date: 2020-02-11 18:59:10
Message-ID: 55d19d7d-2286-0136-0e88-b44cd0d6be61@postgresql.org
Views: Raw Message | Whole Thread | Download mbox | Resend email
Thread:
Lists: pgsql-docs

On 2/11/20 1:37 PM, Tom Lane wrote:
> I'm wondering how to do $SUBJECT. The fine manual suggests
>
> make STYLE=website html
>
> but what I'm getting here with that is not a very close approximation
> of what I see at postgresql.org. It's closer than the default,
> but it's not the same font, margins, etc.
>
> 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.

It looks like it's pulling from the wrong source[1]. It should be:

https://www.postgresql.org/dyncss/base.css

There are a few more dependencies now as well to get the Bootstrap
structure and the font:

https://www.postgresql.org/media/css/fontawesome.css
https://www.postgresql.org/media/css/bootstrap.min.css

(And one for another font...which I see we should import the dependency on).

This should likely be a small quick change. I was going to try to say
"after the release" comment, but given I'm in both codebases at the
moment, I'll do a quick test and see how it looks.

(FWIW, I test the appearance a bit differently. I actually import built
documentation into my local copy of pgweb and tinker from there, as I'll
have all the dependencies available. That likely is not a viable option
for most people working on the documentation [unless we make it easier
to get pgweb up and running]).

Jonathan

[1]
https://git.postgresql.org/gitweb/?p=postgresql.git;a=blob;f=doc/src/sgml/stylesheet.xsl;hb=HEAD#l26

In response to

Browse pgsql-docs by date

  From Date Subject
Next Message Jonathan S. Katz 2020-02-11 19:00:57 Re: Duplicating website's formatting in local doc builds
Previous Message Tom Lane 2020-02-11 18:37:13 Duplicating website's formatting in local doc builds