anchor.diff:  
   Widget text(String value, {
     num fontSize = FONT_SIZE,
  -  Color color = const Color.fromRGBO(85, 85, 85, 20.0),
  +  Color color = TEXT_COLOR,
     TextDecoration decoration
   }) {
     return new Text(value,
  
positive.code: 
  Widget input(String value, InputValueCB cb, {
    num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
    color: const Color.fromRGBO(85, 85, 85, 20.0),
  }) {
    return new InputField(
      autofocus: true,
  
negative.code: 
  Widget text_input(String value, InputValueCB cb, {
    num fontSize = FONT_SIZE + INPUT_EXTRA_SIZE,
    color: INPUT_COLOR,
    borderColor: INPUT_BORDER_COLOR,
  }) {
    return new Container(
      decoration: new BoxDecoration(
  