/* Always set the map height explicitly to define the size of the div
       * element that contains the map. */