anchor.diff:          text-align: left;
       }
   
  +    textarea {
  +        resize: none;
  +    }
  +
       body {
           font-size: 10pt;
       }
  
positive.code:     nav.sidebar:hover::-webkit-scrollbar-thumb {
          background-color: #999;
          background: -webkit-linear-gradient(left, #aaa, #999);
      }
  
  
  
negative.code:     .inset pre::-webkit-scrollbar-thumb,
      .console pre::-webkit-scrollbar-thumb,
      .code::-webkit-scrollbar-thumb {
          background: #ccc;
          border-radius: 5px;
      }
  
  