Changeset 10573 in josm for trunk/styles

Timestamp:

2016-07-20T20:54:49+02:00 (8 years ago)

Author:

bastiK

Message:

only keep higher resolution image for duplicate images (see #13084)

File:

• trunk/styles/standard/elemstyles.mapcss (modified) (4 diffs)

trunk/styles/standard/elemstyles.mapcss

@@ -1936 +1936 @@
 node[shop=doityourself] {
     icon-image: "presets/shop/diy_store.png";
+    icon-width: 16;
+    icon-height: 16;
     set icon_z17;
 }
@@ -2319 +2321 @@
 node[amenity=pub] {
     icon-image: "presets/food/pub.png";
+    icon-width: 15;
+    icon-height: 19;
     set icon_z17;
 }
 node[amenity=biergarten] {
     icon-image: "presets/food/biergarten.png";
+    icon-width: 16;
+    icon-height: 16;
     set icon_z17;
 }
@@ -3737 +3743 @@
 node[sport=rugby_union] {
     icon-image: "presets/sport/football.png";
+    icon-width: 20;
+    icon-height: 20;
     set icon_z17;
 }
@@ -3756 +3764 @@
 node[sport=basketball] {
     icon-image: "presets/sport/basketball.png";
+    icon-width: 16;
+    icon-height: 16;
     set icon_z17;
 }