anchor.diff:  
   Widget text_input(String value, InputValueCB cb, {
     num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
  -  color: const Color.fromRGBO(85, 85, 85, 20.0),
  -  borderColor: const Color.fromRGBO(85, 85, 85, 200.0)
  +  color: INPUT_COLOR,
  +  borderColor: INPUT_BORDER_COLOR,
   }) {
     return new Container(
       decoration: new BoxDecoration(
  
positive.code: 
  // from Colors.blueGrey
  const Color SWATCH_COLOR = const Color(0xFF90A4AE),
      SWATCH_COLOR_LIGHT = const Color(0xFFB0BEC5);
  
  const double FONT_SIZE = 18.0,
      PADDING_SIZE = 5.0,
  
negative.code: 
  Widget input(String value, InputValueCB cb, {
    num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
    color: INPUT_COLOR,
  }) {
    return new InputField(
      autofocus: true,
  