round dots
add legend
Merge pull request #82 from johanneswilm/map-followup

add legend
update config
Merge pull request #84 from futuresandwich/update_dev_db

update config
new dots
smaller map, user icon, less table borders
palette colors and panel styling
fixing export button, pagination details, styling..