anchor.diff:  }
   
   // ==================================================
  +// border
   
   Border bottom({
     width: 1.5,
  
positive.code:     padding: pad,
      onPressed: onPressed,
    );
  }
negative.code:     child: w,
    );
  }
  
  // ==================================================
  // rows
  
  Widget row2col(Widget w1, Widget w2) {
    return new Row(
  