Вы используете устаревший браузер. Этот и другие сайты могут отображаться в нём некорректно. Вам необходимо обновить браузер или попробовать использовать другой.
=))))
мне тлько что пришла такая идея.
в тексте, возвращаемом highlight_string(stripslashes($code), true); можно в каждой строке удалить <br> в конце строки.
-~{}~ 06.12.05 23:49:
удалить из highlight_string(stripslashes($code), true); \n\t\r )