_coverage.html 326 B

1234567891011121314151617181920212223242526
  1. <!DOCTYPE html>
  2. <html>
  3. <head>
  4. <style>
  5. .code {
  6. white-space: pre-wrap;
  7. font-family: monospace;
  8. width: 100%;
  9. }
  10. .miss {
  11. background-color: #FF0000;
  12. }
  13. .hit, .undef {
  14. background-color: #94FF7C;
  15. }
  16. </style>
  17. </head>
  18. <body>
  19. COLORIZED_LINE_HTML
  20. </body>
  21. </html>