2010-12-30 13:31:03 +00:00
|
|
|
<?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;
|
|
|
|
|
}
|
|
|
|
|
|
2010-12-31 18:14:13 +00:00
|
|
|
.block {
|
|
|
|
|
display: block;
|
|
|
|
|
}
|
|
|
|
|
|
2010-12-30 13:31:03 +00:00
|
|
|
/*]]>*/
|
|
|
|
|
</style>
|
|
|
|
|
</head>
|
|
|
|
|
<?php
|
|
|
|
|
|
|
|
|
|
}
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
?>
|
