<!DOCTYPE html>
<html>
<head>
<style>
.code {
white-space: pre-wrap;
font-family: monospace;
width: 100%;
}
.miss {
background-color: #FF0000;
}
.hit, .undef {
background-color: #94FF7C;
}
</style>
</head>
<body>
COLORIZED_LINE_HTML
</body>
</html>