add styling improvements; add geojson export for as zip file;

This commit is contained in:
Fabian Jeglinski
2020-02-16 13:06:52 +01:00
parent 539643caf4
commit f5c00cfa93
9 changed files with 1518 additions and 1095 deletions
@@ -14,6 +14,7 @@
.property-name {
}
.property-value {
margin: 0 0 0 6px;
}
@@ -26,3 +27,4 @@
.button-container {
margin-top: 3rem;
}