anchor.diff:  
   Widget input_label(String value, {
     num fontSize = FONT_SIZE,
  -  Color color = const Color.fromRGBO(85, 85, 85, 100.0),
  +  Color color = INPUT_LABEL_COLOR,
   }) {
     return new Padding(
       padding: new EdgeInsets.only(bottom: 1.0),
  
positive.code: 
  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)
  }) {
    return new Container(
      decoration: new BoxDecoration(
  
negative.code: 
  Widget text(String value, {
    num fontSize = FONT_SIZE,
    Color color = TEXT_COLOR,
    TextDecoration decoration
  }) {
    return new Text(value,
  