<?php function mkheader($title, $bgcolor) { ?> <!DOCTYPE html> <html> <head> <title><?php echo $title; ?></title> <style type='text/css'> /*<![CDATA[*/ body { color: #222; background-color: #eee; font-family: monospace; } pre { border: 1px dashed #777; color: #000; background-color: <?php echo $bgcolor ?>; padding: 5px; margin: 10px; } .block { display: block; } /*]]>*/ </style> </head> <?php } ?>