anchor.diff:        .content
            #map_canvas
               hr
  -            //- each run, i in stravaRuns
  +      //- each run, i in stravaRuns
  +         //- p #{run.map.summary_polyline}
  +         //- script.
  +            //- addRun(map);
  +
         footer
            .container
               p &copy;
  
positive.code:                }
              ];
  
              var fgMap = new google.maps.StyledMapType(styles, { name : "Strava" });
  
              var types = [ 'map_fg', google.maps.MapTypeId.ROADMAP, google.maps.MapTypeId.HYBRID ];
              var map_options = {
                 center : new google.maps.LatLng(39.7392, -104.9842),
                 zoom : 9,
                 mapTypeId : google.maps.MapTypeId.ROADMAP,
                 mapTypeControl : true,
                 mapTypeControlOptions : {
                    style : google.maps.MapTypeControlStyle.DROPDOWN_MENU,
                    mapTypeIds : types
                 }
              };
              map = new google.maps.Map(map_canvas, map_options);
  
              map.mapTypes.set('map_fg', fgMap);
              map.setMapTypeId('map_fg');
           }
           google.maps.event.addDomListener(window, 'load', initialize);
  
negative.code:       link(rel='shortcut icon', href='/images/favicon.ico')
        link(rel='stylesheet', href='/css/strava-map.css')
        link(rel='stylesheet', href='/css/bootstrap.min.css')
        script(src='https://maps.googleapis.com/maps/api/js?libraries=geometry&sensor=false')
  
        script.
           var geocoder;
           var map;
           function decodeLevels(encodedLevelsString) {
               var decodedLevels = [];
  
               for (var i = 0; i < encodedLevelsString.length; ++i) {
                   var level = encodedLevelsString.charCodeAt(i) - 63;
                   decodedLevels.push(level);
               }
               return decodedLevels;
           }
           function initialize() {
              var map_canvas = document.getElementById('map_canvas');
              geocoder = new google.maps.Geocoder();
  