changes to highlight_string() will require change to stylesheets

Hi guys, For things to work properly, I will have to switch the hack that is in colorize.php to also replace <br />\n with \n. The problem is that the docbook conversion places a <pre> around the highlighted source code, and in all browsers, both a <br /> and an \n will generate a line break. Should I place the requisite str_replace(), or should someone who understands DSSSL attempt to fix the stylesheet to work with the next version of PHP that comes with the patch? Greg