Re: [HACKERS] Small issue in online devel documentation build

>> Now the font size fixing is a good thing because courrier like fonts are
>> somehow too small, it just must not accumulate, hence the suggested
>> solutions, one of which should be applied.
>
> OK, it was Javascript, not CSS. Here is what I think I did to fix the
> fonts:
>
> https://github.com/postgres/pgweb/blob/master/media/js/monospacefix.js

Indeed, this javascript does generates the faulty display based on a
dynamic evaluation of relative font sizes. That's fun.

Maybe just generate a fixed size instead so as to avoid accumulation on
nesting?

--
Fabien.