Re: [pgsql-www] Small issue in online devel documentation build

> <span class="term">
> <code class="option">-f
> <em class="replaceable"><code>filename</code></em>
> </code>
> <br>
> </span>

> The filename in the newer html appears much larger under chrome, seemingly
> because of the <code> within a <code>. Maybe a bug in chrome CSS
> interpretation, because CSS on code seems to indicate "font-size: 1.3em", but
> it seems to do 1.3**2 instead for "filename"... However it does not do that
> elsewhere so it may not be that simple...

> 2. avoid replaceable within option in initial sgml files
> => many changes, will reappear if someone forgets.

I wrote a few lines of perl to move replaceable out of option and did some
manual editing is special cases, the resulting simple 359 changes is
attached.

--
Fabien.