Themed offline HTML docs

[Clodoaldo Pinto]

I always wanted to have the dark/light themed HTML docs for offline use.

So I finally did:

wget --mirror https://www.postgresql.org/favicon.ico

wget \
    --continue \
    --mirror \
    --convert-links \
    --adjust-extension \
    --page-requisites \
    --no-parent \
    --limit-rate=200k \
    https://www.postgresql.org/docs/18/\
    https://www.postgresql.org/docs/17/\
    https://www.postgresql.org/media/\
    https://www.postgresql.org/dyncss/\

I then modified the .pg-shout-box class in /dyncss/base.css?a9fcb4a2.css
including the display line to suppress the announcement:

/** SHOUTOUT BOX */
.pg-shout-box {
background-color: var(--pg-shoutbox-bg-color);
font-weight: 600;
padding-bottom: 0.2rem;
padding-top: 0.2rem;
display: none;
}

Why not include it in the packages instead of the plain one?

Regards, Clodoaldo