anchor.diff:    padding: 0;
     margin: 0;
     height: 38px;
  +  cursor: pointer;
  +  -webkit-user-select: none;
  +     -moz-user-select: none;
  +          user-select: none;
   }
   
   .table .checkbox-replacement input[type=checkbox] {
  
positive.code: 
  .stat-widgets {
    margin: 0 -7px;
    display: none !important;
  }
  
    .stat-widget {
  
negative.code: 
  .table {
    display: table;
    color: hsl(198,19%,72%);
  }
  
  .table .table-row {
  