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