anchor.diff:                ),
               ),
               Container(
  -              width: 10,
  -              height: 10,
  -              margin: EdgeInsets.all(10),
  +              width: 12,
  +              height: 12,
  +              margin: EdgeInsets.all(5),
                 decoration: BoxDecoration(
                   color: model.isOpen ? Colors.green : Colors.red,
                   shape: BoxShape.circle,
  
positive.code:   }
  
    num percentAvailability(AvailabilityModel location) {
      num percentAvailable;
  
      if(location.estimated != 0) {
        percentAvailable =
            1 - ((location.busyness) / location.estimated).toDouble();
      }
  
negative.code:             fontSize: 20,
            ),
          ),
          contentPadding: EdgeInsets.all(3.0),
          subtitle: Row(
            children: <Widget>[
              Text(
  