>> 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.
