I want to change the above styling. What would the optimal way to do it? I want to replace the code and not override it to avoid writing non-used CSS (which will be overridden).
This is what I did: I overrode the pre tag styling in the CSS code tab. And I ended having the following, 2 pre tags with different background color. One of them is overriding the other. This is what I want to avoid: having CSS code that is overriding another CSS code. Instead, I would prefer changing the default pre tag styling definition.