Rick,
you make a good point and it makes a lot of sense to accommodate the #1 browser by far (in terms of # users). I was just suggesting that there be a non-default style (so new users aren't using it by design at first), that is selectable upon sign-up and negotiating to user prefs.
They then select the "Dark theme Mozilla style" or whatever and *poof* all is well as far as their browsing experience goes with code and php tags.
Since i didn't see that as a possibility, where i initially brought it up, the 'fix' was born.
I know that suggesting that we add another style is also a bummer, because that means there are more styles to maintain/upgrade. So the ideal solution is to have the css do the detecting and then act accordingly. That's easy peasy to do in css.
Once implemented, i would then think that we should remove the hardwired 'safety net' for the inline style of "height=150px". If anything, that should be just moved over to existing ubbcode-body style anyway..

Thus a win/win, imho