I’ve run into that myself, though I’m not sure that it’s a bug as much as a tradeoff, like you identified. In my case, I defined the class in WPCodeBox. You could probably also use the page CSS.
I’ve run into that myself, though I’m not sure that it’s a bug as much as a tradeoff, like you identified. In my case, I defined the class in WPCodeBox. You could probably also use the page CSS.