Size of code doesn't change when you change the text size in preferences

[Moin]

Screenshots taken once with the text size set to largest and once to smallest.

As you can see, hide_texts has always the same size.

It would be great if it could dynamically adjust with the text around it instead of always being 14px.

[Moin]

I noticed that the fixed font size of code is also a problem on category descriptions shown next to the category icon.