[ChilledTonic]

You've discovered a CSS issue that I did not notice for seven years.

Thanks.

The issue was that for some reason, different types of code had different font size settings.