anchor.diff:                -moz-box-sizing:border-box; -webkit-box-sizing:border-box; box-sizing:border-box; }
   .contexts a:hover { background-color:#e4ebf8 !important; color:normal; }
   a.create-machine {
  -  color:#e06; padding:0 3px 1px; font-weight:bold; -moz-border-radius:2px; -webkit-border-radius:2px; border-radius:2px;
  +  color:#e06; padding:0 3px 1px; font-weight:bold; @include border-radius(2px);
     &:hover { background-color:#e06; color:#fff; text-decoration:none; }
     &:active { position:relative; top:1px; }
   }
  
positive.code: 
  /* TODO: move everything below to separate stylesheet files */
  
  /* general styles */
  html { overflow-y:scroll; }
  body { min-width:800px; font-family:Verdana, Helvetica, Arial; font-size:12px; margin:0; cursor:default; }
  
negative.code:   font:13px/22px Arial,sans-serif; background-color:#ececec; /*color:#3366CC;*/ height:24px;
    margin-top:0; margin-bottom:5px; background-color:#ececec; text-shadow:1px 1px 0 #fff;
    border-width:0 1px 1px 1px; border-style:solid; border-color:#ccc; padding-right:4px;
    @include border-radii(0, 0, 4px, 4px);
  
    a { text-decoration:none; color:#000; }
    a.tiny { display:block; margin-top:0; padding-top:1px; padding-bottom:1px; }
  