anchor.diff:  
       header {
         color: #F0F0F0;
  -      background: #C52F24;
  +      background: #C00;
         padding: 0.5em 1.5em;
       }
   
  
positive.code:       color: #666;
        overflow-wrap: break-word;
      }
      a:hover { color: #C52F24; }
      a.trace-frames.selected { color: #C52F24 }
  
      @media (prefers-color-scheme: dark) {
        body {
  
negative.code:       }
  
        .line.active {
          background-color: #900;
        }
  
        input[type="submit"] {
          box-shadow: 0 3px #800;
        }
        input[type="submit"]:active {
          box-shadow: 0 2px #800;
        }
  
        a { color: #C00; }
        a.trace-frames { color: #999; }
        a:hover { color: #E9382B; }
        a.trace-frames.selected { color: #E9382B; }
  