Re: Blanks in the first line before the first word in the code boxes

On 4/1/18 11:55, Magnus Hagander wrote:
> However, why does devel work fine when the others are broken. It's the
> exact same code that's run to load the docs. The *input* to the loader
> must also be different at some point.

In devel, the raw HTML output looks like

... <pre class="synopsis">
ALTER FOREIGN TABLE [ IF EXISTS ] [ ONLY ] ...

(with a line break)

but before it looks like

... <pre class="synopsis">ALTER FOREIGN TABLE [ IF EXISTS ] [ ONLY ] ...

(without a line break).

So maybe some part of the processing code thinks it should do some kind
of "indentation" here.