<?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

}


?>
