Re: Formatting of warning about using ident

Peter Eisentraut <[email protected]> writes:
> In general, I would argue in favor of fewer "note", "warning", etc.
> Some documentation pages are now just a sequence of "note"s and little
> proper text.  If the normal text properly explains a topic and its pros
> and cons, then we don't need all that extra decoration and it makes the
> text easier to read.

+1.  With the way these things are rendered in the current HTML output,
they are so visually distracting that they ought to be reserved for
absolutely critical info.  I almost feel that we should ban <note>
entirely, because the rendering is completely disproportional to the
meaning.

(Or, maybe, somebody could tinker with the stylesheets?)

			regards, tom lane