/* core_leaflet-directive 8.15.8 2018-01-31T16:51:02+00:00 844816397c7d (hotfix/8.15.8) */
.leaflet-bottom, .leaflet-top{z-index:100!important}