1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
| <!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>
|
|