1234567891011121314151617181920212223242526 |
- <!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>
|