//
  // Ersetzt die durch die PHP-Highlight-Funktion erzeugten Inline-Styles durch
  // CSS-Klassen. Funktioniert so nur in den Versionen, die die Farben über
  // Inline-CSS und nicht per <font> definieren
  //

  //
  // Die Ersetzungs-Funktion, erzeugt werden Klassen, die die in obigen Array
  // definierten Namen tragen. Optional kann ein Präfix angegeben werden
  //
  function highlight($content, $prefix = '') {
    //
    // Ein Dummy-Array mit Dummy-Farben, das lediglich dem Ersetzen dienen
    // Angegebene Farbwerte sind nicht relevant
    //
    $colors = array(
      '#111111' => 'string', '#222222' => 'comment', '#333333' => 'keyword',
      '#444444' => 'bg',     '#555555' => 'default', '#666666' => 'html'
    );
    //
    // INI-Werte manipulieren
    //
    foreach ($colors as $color => $key)
      ini_set('highlight.'.$key, $color);
    //
    // Ersetzen
    //
    return $highlighted = preg_replace(
      '!style="color: (#\d{6})"!e',
      '"class=\"".$prefix.$colors["\1"]."\""',
      highlight_string($content, TRUE)
    );
  }
  //
  // Anwendungsbeispiel
  //
  echo '<textarea cols="80" rows="15">'.
       htmlspecialchars(highlight(file_get_contents('dummy.php'))).
       '</textarea>';