Also wegen dem html ausgeben ist mit
htmlspecialchars() machbar. Und das es bunt wird, machst du am besten mit einem
preg_replace().
Oder die "unsaubere" Methode währe nach Einsatz von
htmlspecialchars() mit
str_replace() einmal "
<" zu "
<span style="color:orange"><" und "
>" zu "
></span>".
Hoffe verständlich