<html>
<head>
<title>$title</title>
<link rel="stylesheet" type="text/css" href="core_dump.css" />
</head>
<body>
<div id="main_content_container">
<h1>
<span class="highlight">$platform</span> - <span class="highlight">$version</span> - $title - $time
</h1>
$content
</div>
</body>
</html>