27 lines
326 B
HTML
27 lines
326 B
HTML
<!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>
|
|
|