After asking around, and testing with a colleague, we got the same strange size behavior on firefox mac as well.

There are 2 possible solutions:

(1) do not nest in the first place (i.e. apply the patch I sent).

(2) do use absolute sizes in the CSS, not relative ones like "1.3em"
   which accumulate multiplications when code appears in code,
   and count on the navigator ctrl-+/- for users to adjust size
   consistently to their needs.

(3) a CSS work-around, including the "!important" marker:

    code code {
      font-size: 100% !important;

This is probably the minimum fuss solution.


Sent via pgsql-hackers mailing list (
To make changes to your subscription:

Reply via email to