Pretty printing colored by pair replacement and output as an HTML