default.css has been replaced by mapinfo.css and page.css
Local copy of Leaflet/plugin Leaflet.label/highlighting