.invocation-failed,  .test-failed  { background-color: #DD0000; }
  .invocation-percent, .test-percent { background-color: #006600; }
  .invocation-passed,  .test-passed  { background-color: #00AA00; }
  .invocation-skipped, .test-skipped { background-color: #CCCC00; }
  
  .main-page {
    font-size: x-large;
  }