You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
|
<!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>
|
|
|
|
|
