<?php

// -----------------------------------------------------------------------------
// This little program can be used to customize highlighting of PHP source text.

// ---------------------------------
// Define program name to be listed.

   $ProgName = 'index.php';

// ------------------------------------------------------------------
// Perform default highlighting. These defaults can be changed below.

   $SourceHTML = Str_Replace("<br /","<br",Highlight_File("$ProgName",TRUE));

// ------------------------------------------------------
// Filters for replacing defaults with customized colors.

   $SourceHTML = Str_Replace('#FF8000', '#A0A0A0', $SourceHTML);
   $SourceHTML = Str_Replace('#0000BB', 'blue',    $SourceHTML);
   $SourceHTML = Str_Replace('#007700', 'red',     $SourceHTML);
   $SourceHTML = Str_Replace('#DD0000', 'black',   $SourceHTML);

// --------------------------------
// Generate the modified HTML code.

   print
"<!DOCTYPE HTML>\n<b style='font-size:11pt;'>$SourceHTML</b>
<br><br><br><br><br><br><br><br><br><br><br><br><br><br><br>";



?>



