anchor.diff:          overflow-y: auto;
       }
   
  +    .sub table {
  +        table-layout: fixed;
  +    }
  +
       .sub table td {
           border-top: dotted 1px #ddd;
           padding: 7px 1px;
  -        width: 90%;
       }
   
       .sub table td.name {
  -        width: auto;
  -        min-width: 150px;
  +        width: 150px;
   
           font-weight: bold;
           font-size: 0.8em;
  
positive.code:         text-align: left;
      }
  
      body {
          font-size: 10pt;
      }
  
negative.code:     nav.sidebar:hover::-webkit-scrollbar-thumb {
          background-color: #999;
          background: -webkit-linear-gradient(left, #aaa, #999);
      }
  
      .console pre:hover::-webkit-scrollbar-thumb,
      .inset pre:hover::-webkit-scrollbar-thumb,
      .code:hover::-webkit-scrollbar-thumb {
          background: #888;
      }
  
  
  