jump to coordinate feature added to the header stripe #25

Merged
balazs merged 4 commits from feature/jump-to-specific-coordinates-in-mapeditor into develop 2021-04-27 17:56:35 +02:00
2 changed files with 10 additions and 14 deletions
Showing only changes of commit faaff33841 - Show all commits

View File

@ -7,10 +7,6 @@
z-index: 1; z-index: 1;
} }
#jumpForm {
display: inline;
}
/* modify the cursor for the Leaflet map */ /* modify the cursor for the Leaflet map */
.leaflet-container { .leaflet-container {
cursor: crosshair; cursor: crosshair;