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 si

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.