fix data stats panel in bottom-right corner of the map

tyrasd · Oct 18, 2023 · d8791f9 · d8791f9
1 parent fd67689
commit d8791f9
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 9 deletions.
diff --git a/css/default.css b/css/default.css
@@ -301,13 +301,8 @@ body .ui-tooltip {
 }
 
 #data_stats {
-  z-index: 5;
-  display: block;
-  position: absolute;
-  bottom: 0;
-  right: 0;
-  width: auto;
   text-align: right;
+  margin: 0;
   padding: 0.1em 0.7em;
   font-size: 12px;
   line-height: 1.5;

diff --git a/js/ide.ts b/js/ide.ts
@@ -1031,9 +1031,9 @@ class IDE {
           )}:&nbsp;${stats.geojson.lines}, ${i18n.t(
             "data_stats.polygons"
           )}:&nbsp;${stats.geojson.polys}</small>`;
-        $(`<div id="data_stats" class="stats">${stats_txt}</div>`).insertAfter(
-          "#map"
-        );
+        $(
+          `<div id="data_stats" class="stats leaflet-control">${stats_txt}</div>`
+        ).insertAfter("#map .leaflet-control-attribution");
         // show more stats as a tooltip
         const backlogOverpass =
           overpass.timestamp && Date.now() - Date.parse(overpass.timestamp);